|
 
|
Marc Sango
|
Doctorant(e) Equipe SYS Parti depuis le 15/01/2012 Mail : sango  adacore.com
Tel : +33-1-58-80-85-50 http://cedric.cnam.fr/~sango_m Directeur de thèse : Veronique Viguie Donzeau-Gouge Co-Directeur(s) : Maria-Virginia Aponte Pierre Courtieu |
Publications
2012
- [CAM12] P. Courtieu, M. Aponte, Y. Moy, M. Sango. "Maximal and Compositional Pattern-Based Loop Invariants", Formal method 2012 (FME), August 2012, Vol. 7436, pp.37-51, Series LNCS, Paris, France,
-
[CAS12]
P. Courtieu, M. Aponte, M. Sango, Y. Moy.
"Maximal and Compositional Pattern-Based
Loop Invariants - Definitions and Proofs",
Date de dépot: 2012/05/24,
Nb pages 14,
(Tech. Rep.: CEDRIC-12-2555)
