%0 Conference Paper %1 conf/laser/GodefroidL11 %A Godefroid, Patrice %A Lahiri, Shuvendu K. %B LASER Summer School %D 2011 %E Meyer, Bertrand %E Nordio, Martin %I Springer %K dblp %P 31-44 %T From Program to Logic: An Introduction. %U http://dblp.uni-trier.de/db/conf/laser/laser2011.html#GodefroidL11 %V 7682 %@ 978-3-642-35746-6

@inproceedings{conf/laser/GodefroidL11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Godefroid, Patrice and Lahiri, Shuvendu K.}, biburl = {https://www.bibsonomy.org/bibtex/2ea568b285ecf98c9b29dcfc471565004/dblp}, booktitle = {LASER Summer School}, crossref = {conf/laser/2011}, editor = {Meyer, Bertrand and Nordio, Martin}, ee = {https://doi.org/10.1007/978-3-642-35746-6_2}, interhash = {d09fe5edb62e1a7f345b2b97cf778e91}, intrahash = {ea568b285ecf98c9b29dcfc471565004}, isbn = {978-3-642-35746-6}, keywords = {dblp}, pages = {31-44}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:19.000+0200}, title = {From Program to Logic: An Introduction.}, url = {http://dblp.uni-trier.de/db/conf/laser/laser2011.html#GodefroidL11}, volume = 7682, year = 2011 }