Barbosa, L. S., Cerone, A., Petrenko, A., & Shaikh, S. A. (2010). Certification of open-source software: A role for formal methods?
Citação norma ChicagoBarbosa, L. S., Antonio Cerone, Alexander Petrenko, and Siraj A. Shaikh. Certification of Open-source Software: A Role for Formal Methods? 2010.
Citação norma MLABarbosa, L. S., et al. Certification of Open-source Software: A Role for Formal Methods? 2010.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.