Bartira Dantas

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior
Verified Compilation and the B Method: A Proposal and a First Appraisal. Electron. Notes Theor. Comput. Sci. 240 (2009)