%0 Conference Paper %1 conf/sac/CiraciBA10 %A Ciraci, Selim %A van den Broek, Pim %A Aksit, Mehmet %B SAC %D 2010 %E Shin, Sung Y. %E Ossowski, Sascha %E Schumacher, Michael %E Palakal, Mathew J. %E Hung, Chih-Cheng %I ACM %K dblp %P 2265-2272 %T Graph-based verification of static program constraints. %U http://dblp.uni-trier.de/db/conf/sac/sac2010.html#CiraciBA10 %@ 978-1-60558-639-7

@inproceedings{conf/sac/CiraciBA10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ciraci, Selim and van den Broek, Pim and Aksit, Mehmet}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2330d2ea43ee8091292d42d1f6236ddf8/dblp}, booktitle = {SAC}, crossref = {conf/sac/2010}, editor = {Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew J. and Hung, Chih-Cheng}, ee = {https://doi.org/10.1145/1774088.1774561}, interhash = {923fcc955ac54ba06cbdf9102f8357ce}, intrahash = {330d2ea43ee8091292d42d1f6236ddf8}, isbn = {978-1-60558-639-7}, keywords = {dblp}, pages = {2265-2272}, publisher = {ACM}, timestamp = {2019-09-27T13:30:51.000+0200}, title = {Graph-based verification of static program constraints.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2010.html#CiraciBA10}, year = 2010 }