Valério Medeiros Jr.

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 1

Top Topics

Code Generation

Top Venues

Publications

Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante
BTestBox: A Tool for Testing B Translators and Coverage of B Models. TAP@FM (2019)
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
LLVM-Based Code Generation for B. SBMF (2014)