François Pessaux

	2009
4		Philippe Ayrault, Thérèse Hardin, François Pessaux: Development of a Generic Voter under FoCal. TAP 2009: 10-26
3		Philippe Ayrault, Thérèse Hardin, François Pessaux: Development Life-cycle of Critical Software Under FoCaL. Electr. Notes Theor. Comput. Sci. 243: 15-31 (2009)
	2000
2		Xavier Leroy, François Pessaux: Type-based analysis of uncaught exceptions. ACM Trans. Program. Lang. Syst. 22(2): 340-377 (2000)
	1999
1		François Pessaux, Xavier Leroy: Type-Based Analysis of Uncaught Exceptions. POPL 1999: 276-290

Coauthor Index

1	Philippe Ayrault	[3] [4]
2	Thérèse Hardin	[3] [4]
3	Xavier Leroy	[1] [2]

Colors in the list of coauthors