%0 Book Section %1 series/natosec/Godefroid14 %A Godefroid, Patrice %B Software Systems Safety %D 2014 %E Grumberg, Orna %E Seidl, Helmut %E Irlbeck, Maximilian %I IOS Press %K dblp %P 1-16 %T May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. %U http://dblp.uni-trier.de/db/series/natosec/natosec36.html#Godefroid14 %V 36 %@ 978-1-61499-385-8

@incollection{series/natosec/Godefroid14, added-at = {2015-07-06T00:00:00.000+0200}, author = {Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/29f8e82610686b7f67e139baabe8cf663/dblp}, booktitle = {Software Systems Safety}, crossref = {series/natosec/36}, editor = {Grumberg, Orna and Seidl, Helmut and Irlbeck, Maximilian}, ee = {http://dx.doi.org/10.3233/978-1-61499-385-8-1}, interhash = {e5655dee099b080e095e0ce77c28510a}, intrahash = {9f8e82610686b7f67e139baabe8cf663}, isbn = {978-1-61499-385-8}, keywords = {dblp}, pages = {1-16}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series, D: Information and Communication Security}, timestamp = {2015-07-07T11:35:34.000+0200}, title = {May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec36.html#Godefroid14}, volume = 36, year = 2014 }