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

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

Computer Science

Research output: Book/Report › Book

Original language	English
Publisher	United Nations University, International Institute for Software Technology, Research Report 398
Publication status	Published - 1 Sept 2008

Cite this

Barbosa, L., Breuer, P., Cerone, A., & Pickin, S. (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). United Nations University, International Institute for Software Technology, Research Report 398.

Barbosa, L ; Breuer, Peter ; Cerone, A et al. / 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). United Nations University, International Institute for Software Technology, Research Report 398, 2008.

@book{2b26628a1a244682a903a14b77b558a1,

title = "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)",

author = "L Barbosa and Peter Breuer and A Cerone and S Pickin",

year = "2008",

month = sep,

day = "1",

language = "English",

publisher = "United Nations University, International Institute for Software Technology, Research Report 398",

}

Barbosa, L, Breuer, P, Cerone, A & Pickin, S 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). United Nations University, International Institute for Software Technology, Research Report 398.

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). / Barbosa, L; Breuer, Peter; Cerone, A et al.
United Nations University, International Institute for Software Technology, Research Report 398, 2008.

Research output: Book/Report › Book

TY - BOOK

T1 - 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)

AU - Barbosa, L

AU - Breuer, Peter

AU - Cerone, A

AU - Pickin, S

PY - 2008/9/1

Y1 - 2008/9/1

M3 - Book

BT - 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)

PB - United Nations University, International Institute for Software Technology, Research Report 398

ER -

Barbosa L, Breuer P, Cerone A, Pickin S. 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). United Nations University, International Institute for Software Technology, Research Report 398, 2008.