Ivannikov Institute for System Programming of the RAS


Certification of open-source software: A role for formal methods?

Authors

A.Petrenko, Luis S. Barbosa, Antonio Cerone, and Siraj A. Shaikh.

Edition

International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010.

Research Group

Software Engineering

All publications during 2010 All publications