Michel Carnot

According to our database, Michel Carnot authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1992

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

Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992