Percorrer por autor Shaikh, Siraj A. Subscrever estatísticas do autor Shaikh, Siraj A.
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2010 | Certification of open-source software : a role for formal methods? | Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al. | Artigo | Acesso aberto |