Éric Jaeger

	2009
5		Éric Jaeger, Catherine Dubois: Why Would You Trust B? CoRR abs/0902.3858: (2009)
4		Éric Jaeger, Thérèse Hardin: A Few Remarks About Formal Development of Secure Systems CoRR abs/0902.3861: (2009)
3		Éric Jaeger, Thérèse Hardin: Yet Another Deep Embedding of B:Extending de Bruijn Notations CoRR abs/0902.3865: (2009)
	2008
2		Éric Jaeger, Thérèse Hardin: A Few Remarks about Formal Development of Secure Systems. HASE 2008: 165-174
	2007
1		Éric Jaeger, Catherine Dubois: Why Would You Trust B ? LPAR 2007: 288-302

Coauthor Index

1	Catherine Dubois	[1] [5]
2	Thérèse Hardin	[2] [3] [4]