Frédéric Oehl

	2003
2		Joseph M. Morris, Benjamin Aziz, Frédéric Oehl: 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 BCS 2003
	2002
1		Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48

Coauthor Index

1	Benjamin Aziz	[2]
2	Gérard Cécé	[1]
3	Olga Kouchnarenko	[1]
4	Joseph M. Morris	[2]
5	David Sinclair	[1]

Colors in the list of coauthors