Valério de Medeiros Jr.

Publication Activity (10 Years)

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

Top Topics

Code Generation

Building Blocks

Top Venues

Publications

Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. TAP@STAF (2015)