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

Michel Carnot Clara DaSilva Babak Dehbonei Fernando Mejia

Published in: ISSRE (1992)

Keyphrases

error free
software development
software engineering
computer vision