Login / Signup
Stephenson Galvão
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
David Déharbe
,
Stephenson Galvão
,
Anamaria Martins Moreira
Formalizing FreeRTOS: First Steps.
SBMF
(2009)
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)