%0 Conference Paper %1 conf/plilp/LeviV98 %A Levi, Giorgio %A Volpe, Paolo %B PLILP/ALP %D 1998 %E Palamidessi, Catuscia %E Glaser, Hugh %E Meinke, Karl %I Springer %K dblp %P 102-117 %T Derivation of Proof Methods by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/plilp/plilp98.html#LeviV98 %V 1490 %@ 3-540-65012-1

@inproceedings{conf/plilp/LeviV98, added-at = {2017-05-19T00:00:00.000+0200}, author = {Levi, Giorgio and Volpe, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/280d8077705a9eb821f6be9afd2659a9c/dblp}, booktitle = {PLILP/ALP}, crossref = {conf/plilp/1998}, editor = {Palamidessi, Catuscia and Glaser, Hugh and Meinke, Karl}, ee = {https://doi.org/10.1007/BFb0056610}, interhash = {609dd94f0a1fc1b83b8ea622b1ba2425}, intrahash = {80d8077705a9eb821f6be9afd2659a9c}, isbn = {3-540-65012-1}, keywords = {dblp}, pages = {102-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:14:11.000+0200}, title = {Derivation of Proof Methods by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp98.html#LeviV98}, volume = 1490, year = 1998 }