Original language | English |
---|---|
Publisher | United Nations University, International Institute for Software Technology, Research Report 398 |
Publication status | Published - 1 Sept 2008 |
Proceedings of the 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) and 2nd International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2008)
L Barbosa, Peter Breuer, A Cerone, S Pickin
Research output: Book/Report › Book