Thomas Moniot

	2009
2		Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220
	2008
1		Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang: Certified Development Tools Implementation in Objective Caml. PADL 2008: 2-17

Coauthor Index

1	Olivier Andrieu	[1] [2]
2	Benjamin Canou	[1] [2]
3	Emmanuel Chailloux	[1] [2]
4	Jean-Louis Colaço	[1] [2]
5	Pascal Manoury	[2]
6	Bruno Pagano	[1] [2]
7	Philippe Wang	[1] [2]