Development of an Automatic Testing Environment for Mercury

François Degrave

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationProceedings of ICLP 2008
PublisherMaria Garcia de la Banda and Enrico Pontelli
Pages805-806
Number of pages2
Volume5366
Publication statusPublished - 2008

Cite this