Laurent Py

发表

Automated test case and test driver generation for embedded software

Fabrice Bouquet, Bruno Legeard, Fabrice Ambert, 2004 .

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes

Bruno Legeard, Isabelle Jacques, Laurent Py, 1998, JFPLC.

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, 2000, JFPLC.

Evaluation de spécifications formelles B en programmation logique avec contraintes ensemblistes : application à l'animation et au model-checking

Laurent Py, 2000 .