%0 Conference Paper %1 conf/sigsoft/SharyginaTT09 %A Sharygina, Natasha %A Tonetta, Stefano %A Tsitovich, Aliaksei %B SAVCBS %D 2009 %I ACM %K dblp %P 35-36 %T An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. %U http://dblp.uni-trier.de/db/conf/sigsoft/savcbs2009.html#SharyginaTT09 %@ 978-1-60558-680-9

@inproceedings{conf/sigsoft/SharyginaTT09, added-at = {2022-12-07T00:00:00.000+0100}, author = {Sharygina, Natasha and Tonetta, Stefano and Tsitovich, Aliaksei}, biburl = {https://www.bibsonomy.org/bibtex/2e594c9fed20f0ed5da59b67e9ef7372e/dblp}, booktitle = {SAVCBS}, crossref = {conf/sigsoft/2009savcbs}, ee = {https://doi.org/10.1145/1596486.1596494}, interhash = {bfe5380a8746a13634af35e8c34ffc99}, intrahash = {e594c9fed20f0ed5da59b67e9ef7372e}, isbn = {978-1-60558-680-9}, keywords = {dblp}, pages = {35-36}, publisher = {ACM}, timestamp = {2024-04-09T17:52:23.000+0200}, title = {An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/savcbs2009.html#SharyginaTT09}, year = 2009 }