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]
Abstract is missing.