Towards a Normal Form for Mercury Programs

François Degrave, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of LOPSTR 2007
Pages43-58
Number of pages16
Volume4915
Publication statusPublished - 2008

Publication series

NameProceedings of LOPSTR 2007

Cite this