Patrick Behm

According to our database, Patrick Behm authored at least 3 papers between 1998 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Météor: A Successful Application of B in a Large Project.

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier

Proceedings of the FM'99 - Formal Methods, 1999

1998

MÉTÉOR : An Industrial Success in Formal Development.

Patrick Behm, Pierre Desforges, Jean-Marc Meynadier

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

Well Defined B.

Patrick Behm, Lilian Burdy, Jean-Marc Meynadier

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998