Error-free software development for critical systems using the B-Methodology.

Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia

Browse the full ISSRE paper archive.