BTestBox: A Tool for Testing B Translators and Coverage of B Models.

Diego de Azevedo Oliveira, Valrio Medeiros Jr., David Dharbe, Martin A. Musicante

Browse the full TAP paper archive.