Ban3

Informations sur l'auteur

Pierre-Yves Schobbens

http://pistou.imag.fr/site/author/386

  
Équipe(s) :
VASCO Du 06/01/2009 au 30/05/2009 		 

Publications de l'auteur

La liste contient 2 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
1988
1
Didier Bert, Pascal Drabik, Rachid Echahed, and Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier.
LPG: A Generic, Logic and Functional Programming Language.
Proc. of the secend European Symposium on Programming (ESOP'88), LNCS 300, 1988.
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2009
2
Akram Idani, Yves Ledru, Pierre-Yves Schobbens.
Approche formelle pour une Ingénierie des Modèles sûre.
Atelier LMO/SafeModel, Nancy, 2009.
Www-128x128
bibtex/ html