%0 Conference Paper %1 conf/foveoos/HuismanG10 %A Huisman, Marieke %A Gurov, Dilian %B FoVeOOS %D 2010 %E Beckert, Bernhard %E Marché, Claude %I Springer %K dblp %P 107-121 %T CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. %U http://dblp.uni-trier.de/db/conf/foveoos/foveoos2010.html#HuismanG10 %V 6528 %@ 978-3-642-18069-9

@inproceedings{conf/foveoos/HuismanG10, added-at = {2022-01-03T00:00:00.000+0100}, author = {Huisman, Marieke and Gurov, Dilian}, biburl = {https://www.bibsonomy.org/bibtex/2d39fd318ee7e7ccb6041066bb752d976/dblp}, booktitle = {FoVeOOS}, crossref = {conf/foveoos/2010}, editor = {Beckert, Bernhard and Marché, Claude}, ee = {https://doi.org/10.1007/978-3-642-18070-5_8}, interhash = {d2b83311f3d77fde70e0a295ce99603d}, intrahash = {d39fd318ee7e7ccb6041066bb752d976}, isbn = {978-3-642-18069-9}, keywords = {dblp}, pages = {107-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:06:24.000+0200}, title = {CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.}, url = {http://dblp.uni-trier.de/db/conf/foveoos/foveoos2010.html#HuismanG10}, volume = 6528, year = 2010 }