F. Allouti

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

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