Patrick Baudin

	2009
3		Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286
	2002
2		Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams: CAVEAT : A Tool for Software Validation. DSN 2002: 537-537
	1999
1		Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods 1999: 1798-1815

Coauthor Index

1	Richard Bonichon	[3]
2	Géraud Canet	[3]
3	Loïc Correnson	[3]
4	Pascal Cuoq	[3]
5	Benjamin Monate	[3]
6	Anne Pacalet	[1] [2]
7	Virgile Prevosto	[3]
8	Armand Puccetti	[3]
9	Jacques Raguideau	[1] [2]
10	Famantanantsoa Randimbivololona	[1]
11	Dominique Schoen	[1] [2]
12	Julien Signoles	[3]
13	Jean Souyris	[1]
14	N. Williams	[2]

Colors in the list of coauthors