The role of testing in the B formal development process.

Hlne Waeselynck, Jean-Louis Boulanger

Browse the full ISSRE paper archive.