Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh. Certification of open-source software: A role for formal methods?. Comput. Syst. Sci. Eng., 25(4), 2010.
@article{BarbosaCPS10,
title = {Certification of open-source software: A role for formal methods?},
author = {Luís Soares Barbosa and Antonio Cerone and Alexander K. Petrenko and Siraj A. Shaikh},
year = {2010},
researchr = {https://researchr.org/publication/BarbosaCPS10},
cites = {0},
citedby = {0},
journal = {Comput. Syst. Sci. Eng.},
volume = {25},
number = {4},
}