Mauro Fiorentini

	1995
1		Frédéric Broustaut, Christian Fabre, François de Ferrière, Éric Ivanov, Mauro Fiorentini: Verification of ANDF Components. Intermediate Representations Workshop 1995: 103-110

Coauthor Index

1	Frédéric Broustaut	[1]
2	Christian Fabre	[1]
3	François de Ferrière	[1]
4	Éric Ivanov	[1]