Towards a Normal Form for Mercury Programs

François Degrave, Wim Vanhoof

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

langue originaleAnglais
titreProceedings of LOPSTR 2007
Pages43-58
Nombre de pages16
Volume4915
Etat de la publicationPublié - 2008

Série de publications

NomProceedings of LOPSTR 2007

Contient cette citation