Py, Laurent
VIAF ID: 206969958 ( Personal )
Permalink: http://viaf.org/viaf/206969958
Preferred Forms
- 100 | _ ‡a Py, Laurent
Works
Title | Sources |
---|---|
Evaluation de spécifications formelles B en programmation logique avec contraintes ensemblistes : application à l'animation et au model-checking |