%0 Conference Paper %1 conf/sas/Mauborgne94 %A Mauborgne, Laurent %B SAS %D 1994 %E Charlier, Baudouin Le %I Springer %K dblp %P 363-379 %T Abstract Interpretation Using TDGs. %U http://dblp.uni-trier.de/db/conf/sas/sas94.html#Mauborgne94 %V 864 %@ 3-540-58485-4

@inproceedings{conf/sas/Mauborgne94, added-at = {2019-08-08T00:00:00.000+0200}, author = {Mauborgne, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2befdc0f301cbc3d8c968e89ea9b2cde3/dblp}, booktitle = {SAS}, crossref = {conf/sas/94}, editor = {Charlier, Baudouin Le}, ee = {https://doi.org/10.1007/3-540-58485-4_52}, interhash = {cd6c553fece04606bda365c480797f1b}, intrahash = {befdc0f301cbc3d8c968e89ea9b2cde3}, isbn = {3-540-58485-4}, keywords = {dblp}, pages = {363-379}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-13T11:38:27.000+0200}, title = {Abstract Interpretation Using TDGs.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas94.html#Mauborgne94}, volume = 864, year = 1994 }