%0 Conference Paper %1 conf/fates/BruckerW05 %A Brucker, Achim D. %A Wolff, Burkhart %B FATES %D 2005 %E Grieskamp, Wolfgang %E Weise, Carsten %I Springer %K dblp %P 87-102 %T Interactive Testing with HOL-TestGen. %U http://dblp.uni-trier.de/db/conf/fates/fates2005.html#BruckerW05 %V 3997 %@ 3-540-34454-3

@inproceedings{conf/fates/BruckerW05, added-at = {2017-06-02T00:00:00.000+0200}, author = {Brucker, Achim D. and Wolff, Burkhart}, biburl = {https://www.bibsonomy.org/bibtex/287254a72e5e9260040d48f2828f75f25/dblp}, booktitle = {FATES}, crossref = {conf/fates/2005}, editor = {Grieskamp, Wolfgang and Weise, Carsten}, ee = {https://doi.org/10.1007/11759744_7}, interhash = {ceeb6c85ed9e9bbec55b7a568d78e874}, intrahash = {87254a72e5e9260040d48f2828f75f25}, isbn = {3-540-34454-3}, keywords = {dblp}, pages = {87-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:49.000+0200}, title = {Interactive Testing with HOL-TestGen.}, url = {http://dblp.uni-trier.de/db/conf/fates/fates2005.html#BruckerW05}, volume = 3997, year = 2005 }