Development of an Automatic Testing Environment for Mercury

François Degrave

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

langue originaleAnglais
titreProceedings of ICLP 2008
EditeurMaria Garcia de la Banda and Enrico Pontelli
Pages805-806
Nombre de pages2
Volume5366
Etat de la publicationPublié - 2008

Contient cette citation