Hélène Waeselynck, Jean-Louis Boulanger. The role of testing in the B formal development process. In Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995. pages 58-67, IEEE, 1995. [doi]
@inproceedings{WaeselynckB95,
title = {The role of testing in the B formal development process},
author = {Hélène Waeselynck and Jean-Louis Boulanger},
year = {1995},
doi = {10.1109/ISSRE.1995.497644},
url = {http://dx.doi.org/10.1109/ISSRE.1995.497644},
researchr = {https://researchr.org/publication/WaeselynckB95},
cites = {0},
citedby = {0},
pages = {58-67},
booktitle = {Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995},
publisher = {IEEE},
isbn = {0-8186-7131-9},
}