%0 Conference Paper %1 conf/lopstr/DegraveSV08 %A Degrave, François %A Schrijvers, Tom %A Vanhoof, Wim %B LOPSTR %D 2008 %E Hanus, Michael %I Springer %K dblp %P 71-86 %T Automatic Generation of Test Inputs for Mercury. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2008.html#DegraveSV08 %V 5438 %@ 978-3-642-00514-5

@inproceedings{conf/lopstr/DegraveSV08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Degrave, François and Schrijvers, Tom and Vanhoof, Wim}, biburl = {https://www.bibsonomy.org/bibtex/2a81ff7143b69ebd2ac5cf69d07b1fe2d/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2008}, editor = {Hanus, Michael}, ee = {https://doi.org/10.1007/978-3-642-00515-2_6}, interhash = {53624f04171b1228939419dfd0057a4e}, intrahash = {a81ff7143b69ebd2ac5cf69d07b1fe2d}, isbn = {978-3-642-00514-5}, keywords = {dblp}, pages = {71-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:36.000+0200}, title = {Automatic Generation of Test Inputs for Mercury.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2008.html#DegraveSV08}, volume = 5438, year = 2008 }