Barbosa, Luis S., Petrenko, Alexander K., Cerone, Antonio and Shaikh, Siraj A ORCID: https://orcid.org/0000-0002-0726-3319
(2010)
Certification of opensource software A role for formal methods?
International Journal of Computer Systems Science Engineering, 25 (4 SRC).
pp. 273-281.