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

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31157-5_6 ◽

2019 ◽

pp. 83-92 ◽

Cited By ~ 1

Author(s):

Diego de Azevedo Oliveira ◽

Valério Medeiros ◽

David Déharbe ◽

Martin A. Musicante

Download Full-text