- 1
Martin Quinson
1
Documents
Présentation
Publications
- 1
- 1
- 1
|
|
Extending PlusCal: A Language for Describing Concurrent and Distributed AlgorithmsActes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France
Communication dans un congrès
inria-00544137v1
|