Paul Benoit

	1999
1		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: 369-387

Coauthor Index

1	Patrick Behm	[1]
2	Alain Faivre	[1]
3	Jean-Marc Meynadier	[1]