%0 Conference Paper %1 conf/sas/GangeNSSS13 %A Gange, Graeme %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B SAS %D 2013 %E Logozzo, Francesco %E Fähndrich, Manuel %I Springer %K %P 6-24 %T Abstract Interpretation over Non-lattice Abstract Domains. %U http://dblp.uni-trier.de/db/conf/sas/sas2013.html#GangeNSSS13 %V 7935 %@ 978-3-642-38855-2

@inproceedings{conf/sas/GangeNSSS13, added-at = {2023-12-13T01:52:36.000+0100}, author = {Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d5f04d993a9561d6f727baa79935c8ae/admin}, booktitle = {SAS}, crossref = {conf/sas/2013}, editor = {Logozzo, Francesco and Fähndrich, Manuel}, ee = {https://www.wikidata.org/entity/Q57665001}, interhash = {77b3b6a0a18cd0f8128bf13cf87591fc}, intrahash = {d5f04d993a9561d6f727baa79935c8ae}, isbn = {978-3-642-38855-2}, keywords = {}, pages = {6-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:52:36.000+0100}, title = {Abstract Interpretation over Non-lattice Abstract Domains.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2013.html#GangeNSSS13}, volume = 7935, year = 2013 }