- 1
Martin Quinson
1
Documents
Présentation
Publications
- 1
- 1
- 1
|
|
A High-Level Language for Modeling Algorithms and their Properties13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
Communication dans un congrès
inria-00537779v1
|