%0 Conference Paper %1 conf/sas/VoronkovN09 %A Voronkov, Andrei %A Narasamdya, Iman %B SAS %D 2009 %E Palsberg, Jens %E Su, Zhendong %I Springer %K dblp %P 343-359 %T Inter-program Properties. %U http://dblp.uni-trier.de/db/conf/sas/sas2009.html#VoronkovN09 %V 5673 %@ 978-3-642-03236-3

@inproceedings{conf/sas/VoronkovN09, added-at = {2017-05-24T00:00:00.000+0200}, author = {Voronkov, Andrei and Narasamdya, Iman}, biburl = {https://www.bibsonomy.org/bibtex/248ebe02c3be3864109785d2d8b3764ba/dblp}, booktitle = {SAS}, crossref = {conf/sas/2009}, editor = {Palsberg, Jens and Su, Zhendong}, ee = {https://doi.org/10.1007/978-3-642-03237-0_23}, interhash = {13251d33316961989087344bec9d2e1c}, intrahash = {48ebe02c3be3864109785d2d8b3764ba}, isbn = {978-3-642-03236-3}, keywords = {dblp}, pages = {343-359}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:34:34.000+0200}, title = {Inter-program Properties.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2009.html#VoronkovN09}, volume = 5673, year = 2009 }