| Original language | English |
|---|---|
| Title of host publication | Proceedings of LOPSTR 2008 |
| Pages | 71-86 |
| Number of pages | 16 |
| Volume | 5438 |
| Publication status | Published - 2008 |
Publication series
| Name | Proceedings of LOPSTR 2008 |
|---|
Automatic Test Input Generation for Mercury
François Degrave, Tom Schrijvers, Wim Vanhoof
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution