%0 Conference Paper %1 conf/cade/KovacsR15 %A Kovács, Laura %A Robillard, Simon %B Vampire Workshop %D 2015 %E Kovács, Laura %E Voronkov, Andrei %I EasyChair %K dblp %P 52-62 %T Reasoning About Loops Using Vampire. %U http://dblp.uni-trier.de/db/conf/cade/vampire2014-15.html#KovacsR15 %V 38

@inproceedings{conf/cade/KovacsR15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Kovács, Laura and Robillard, Simon}, biburl = {https://www.bibsonomy.org/bibtex/22e58d7af94a5ffec4e9196ae8c8887c5/dblp}, booktitle = {Vampire Workshop}, crossref = {conf/cade/2014-15vampire}, editor = {Kovács, Laura and Voronkov, Andrei}, ee = {https://doi.org/10.29007/tcvj}, interhash = {cfdfedde7ee058c89ab82511d63fe9b9}, intrahash = {2e58d7af94a5ffec4e9196ae8c8887c5}, keywords = {dblp}, pages = {52-62}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Reasoning About Loops Using Vampire.}, url = {http://dblp.uni-trier.de/db/conf/cade/vampire2014-15.html#KovacsR15}, volume = 38, year = 2015 }