%0 Conference Paper %1 conf/sas/DonaldsonHKR11 %A Donaldson, Alastair F. %A Haller, Leopold %A Kroening, Daniel %A Rümmer, Philipp %B SAS %D 2011 %E Yahav, Eran %I Springer %K dblp %P 351-368 %T Software Verification Using k-Induction. %U http://dblp.uni-trier.de/db/conf/sas/sas2011.html#DonaldsonHKR11 %V 6887 %@ 978-3-642-23701-0

@inproceedings{conf/sas/DonaldsonHKR11, added-at = {2017-05-24T00:00:00.000+0200}, author = {Donaldson, Alastair F. and Haller, Leopold and Kroening, Daniel and Rümmer, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/2d9e7c0ddc0e5365b06580d5f069b466c/dblp}, booktitle = {SAS}, crossref = {conf/sas/2011}, editor = {Yahav, Eran}, ee = {https://doi.org/10.1007/978-3-642-23702-7_26}, interhash = {36fcf0363e9051247faf1a49d5635570}, intrahash = {d9e7c0ddc0e5365b06580d5f069b466c}, isbn = {978-3-642-23701-0}, keywords = {dblp}, pages = {351-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {Software Verification Using k-Induction.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2011.html#DonaldsonHKR11}, volume = 6887, year = 2011 }