Patrick Behm

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

Paul Benoit, Alain Faivre, Patrick Behm, 1999, World Congress on Formal Methods.

Well Defined B

Lilian Burdy, Patrick Behm, Jean-Marc Meynadier, 1998, B.

DEVELOPMENT OF SAFETY CRITICAL SOFTWARE WITH THE B METHOD

Alain Faivre, Patrick Behm, P Benoit, 1997 .

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

Patrick Behm, Jean-Marc Meynadier, Pierre Desforges, 1998, B.