Ivannikov Institute for System Programming of the RAS

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


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


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