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/ReportBook

Original languageEnglish
PublisherUnited Nations University, International Institute for Software Technology, Research Report 398
Publication statusPublished - 1 Sept 2008

Cite this