Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.

Anamaria Martins Moreira, Cleverton Hentz, David Dharbe, Ernesto Cid Brasil de Matos, Joo Batista de Souza Neto, Valrio de Medeiros Jr.

Browse the full TAP paper archive.