Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia. Error-free software development for critical systems using the B-Methodology. In Third International Symposium on Software Reliability Engineering, ISSRE 1992, Research Triangle Park, NC, USA, October 7-10, 1992. pages 274-281, IEEE, 1992. [doi]
@inproceedings{CarnotDDM92,
title = {Error-free software development for critical systems using the B-Methodology},
author = {Michel Carnot and Clara DaSilva and Babak Dehbonei and Fernando Mejia},
year = {1992},
doi = {10.1109/ISSRE.1992.285893},
url = {http://dx.doi.org/10.1109/ISSRE.1992.285893},
researchr = {https://researchr.org/publication/CarnotDDM92},
cites = {0},
citedby = {0},
pages = {274-281},
booktitle = {Third International Symposium on Software Reliability Engineering, ISSRE 1992, Research Triangle Park, NC, USA, October 7-10, 1992},
publisher = {IEEE},
isbn = {0-8186-2975-4},
}