Original language | English |
---|---|
Title of host publication | Proceedings of ICLP 2008 |
Publisher | Maria Garcia de la Banda and Enrico Pontelli |
Pages | 805-806 |
Number of pages | 2 |
Volume | 5366 |
Publication status | Published - 2008 |
Development of an Automatic Testing Environment for Mercury
François Degrave
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter