Up a level |
Barbosa, Luis S., Petrenko, Alexander K., Cerone, Antonio and Shaikh, Siraj A ORCID: 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.