F. Allouti

	2007
1		Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti: A Case Study in Matching Test and Proof Coverage. Electr. Notes Theor. Comput. Sci. 190(2): 73-84 (2007)

Coauthor Index

1	Lydie du Bousquet	[1]
2	Frédéric Dadeau	[1]
3	Yves Ledru	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page