%0 Conference Paper %1 conf/ifm/GodefroidK05 %A Godefroid, Patrice %A Klarlund, Nils %B IFM %D 2005 %E Romijn, Judi %E Smith, Graeme %E van de Pol, Jaco %I Springer %K dblp %P 20-32 %T Software Model Checking: Searching for Computations in the Abstract or the Concrete. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#GodefroidK05 %V 3771 %@ 3-540-30492-4

@inproceedings{conf/ifm/GodefroidK05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Godefroid, Patrice and Klarlund, Nils}, biburl = {https://www.bibsonomy.org/bibtex/2e57da83ffae834eea109f297cb16356a/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2005}, editor = {Romijn, Judi and Smith, Graeme and van de Pol, Jaco}, ee = {https://doi.org/10.1007/11589976_3}, interhash = {3b92f64b05586b88327a8fc7b46ed38c}, intrahash = {e57da83ffae834eea109f297cb16356a}, isbn = {3-540-30492-4}, keywords = {dblp}, pages = {20-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:09.000+0200}, title = {Software Model Checking: Searching for Computations in the Abstract or the Concrete.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#GodefroidK05}, volume = 3771, year = 2005 }