%0 Conference Paper %1 conf/cade/KroeningSTTW10 %A Kroening, Daniel %A Sharygina, Natasha %A Tonetta, Stefano %A Tsitovich, Aliaksei %A Wintersteiger, Christoph M. %B WING@ETAPS/IJCAR %D 2010 %E Voronkov, Andrei %E Kovács, Laura %E Bjørner, Nikolaj S. %I EasyChair %K dblp %P 130-131 %T Loopfrog - loop summarization for static analysis. %U http://dblp.uni-trier.de/db/conf/cade/wing2010.html#KroeningSTTW10 %V 1

@inproceedings{conf/cade/KroeningSTTW10, added-at = {2022-12-07T00:00:00.000+0100}, author = {Kroening, Daniel and Sharygina, Natasha and Tonetta, Stefano and Tsitovich, Aliaksei and Wintersteiger, Christoph M.}, biburl = {https://www.bibsonomy.org/bibtex/24157e1f45c89e06aede4ef4e94561e67/dblp}, booktitle = {WING@ETAPS/IJCAR}, crossref = {conf/cade/2010wing}, editor = {Voronkov, Andrei and Kovács, Laura and Bjørner, Nikolaj S.}, ee = {https://doi.org/10.29007/g3fd}, interhash = {6aef97a51e0c5df0adf69122120b2b58}, intrahash = {4157e1f45c89e06aede4ef4e94561e67}, keywords = {dblp}, pages = {130-131}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {Loopfrog - loop summarization for static analysis.}, url = {http://dblp.uni-trier.de/db/conf/cade/wing2010.html#KroeningSTTW10}, volume = 1, year = 2010 }