Staff view

You must be logged in to Tag Records
APA Citation

Margaria-Steffen, Tiziana,Massink, Mieke. (Eds.) (2005) FMICS '05proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 New York : Association for Computing Machinery,

MLA Citation