|
 
|
P. Ayrault
Publications
2012
- [ABD12] P. Ayrault, V. Benayoun, C. Dubois, F. Pessaux. "ML Dependency Analysis for Assessors", International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,
Conférence Internationale avec comité de lecture
2008
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
