| langue originale | Anglais |
|---|---|
| titre | Proceedings of LOPSTR 2008 |
| Pages | 71-86 |
| Nombre de pages | 16 |
| Volume | 5438 |
| Etat de la publication | Publié - 2008 |
Série de publications
| Nom | Proceedings of LOPSTR 2008 |
|---|
Automatic Test Input Generation for Mercury
François Degrave, Tom Schrijvers, Wim Vanhoof
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque