José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID: R-000-85N
1
TITLE: Rigorous software development. an introduction to program verification
AUTHORS: José Bacelar Almeida;
PUBLISHED: 2011
AUTHORS: José Bacelar Almeida;
PUBLISHED: 2011
INDEXED IN: 
Openlibrary
Openlibrary IN MY: 
CIÊNCIAVITAE
CIÊNCIAVITAE