autores
- Barbosa, L.S.
- Barbosa, L.S.
- Cerone, A.
- Petrenko, A.K.
- Shaikh, S.A.
Certification of open-source software: A role for formal methods?
Artigo Académico
- Visão geral
- Informação adicional documento
- Ver Todos