Staff view

You must be logged in to Tag Records
APA Citation

Margaria-Steffen, Tiziana,Steffen, Bernhard. (Eds.) (2006) Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers Berlin ; Springer,

MLA Citation