José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID: R-000-85N
You have no permission to see this content: profileOfResearchers/view
Please sign in.1
TÃTULO: Rigorous software development. an introduction to program verification
AUTORES: José Bacelar Almeida;
PUBLICAÇÃO: 2011
AUTORES: José Bacelar Almeida;
PUBLICAÇÃO: 2011
INDEXADO EM: 
Openlibrary
Openlibrary NO MEU: 
CIÊNCIAVITAE
CIÊNCIAVITAE