Patrick Behm

Publication Activity (10 Years)

Years Active: 1998-1999
Publications (10 Years): 0

Publications

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
Météor: A Successful Application of B in a Large Project. World Congress on Formal Methods (1999)
Patrick Behm, Pierre Desforges, Jean-Marc Meynadier
MÉTÉOR : An Industrial Success in Formal Development. B (1998)
Patrick Behm, Lilian Burdy, Jean-Marc Meynadier
Well Defined B. B (1998)