%0 Conference Paper %1 conf/vmcai/HardekopfWCK14 %A Hardekopf, Ben %A Wiedermann, Ben %A Churchill, Berkeley R. %A Kashyap, Vineeth %B VMCAI %D 2014 %E McMillan, Kenneth L. %E Rival, Xavier %I Springer %K dblp %P 472-491 %T Widening for Control-Flow. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#HardekopfWCK14 %V 8318 %@ 978-3-642-54012-7

@inproceedings{conf/vmcai/HardekopfWCK14, added-at = {2024-05-07T00:00:00.000+0200}, author = {Hardekopf, Ben and Wiedermann, Ben and Churchill, Berkeley R. and Kashyap, Vineeth}, biburl = {https://www.bibsonomy.org/bibtex/2b93559d34713e6bebdd4605ec93fe629/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2014}, editor = {McMillan, Kenneth L. and Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-642-54013-4_26}, interhash = {07fa5c2eac363a0af35aedea7823487b}, intrahash = {b93559d34713e6bebdd4605ec93fe629}, isbn = {978-3-642-54012-7}, keywords = {dblp}, pages = {472-491}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:06:50.000+0200}, title = {Widening for Control-Flow.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#HardekopfWCK14}, volume = 8318, year = 2014 }