%0 Conference Paper %1 conf/aplas/Ogawa01 %A Ogawa, Mizuhito %B APLAS %D 2001 %K dblp %P 183-191 %T Abstract Interpretation over Infinite Abstract Domains (Tentative Report). %U http://dblp.uni-trier.de/db/conf/aplas/aplas2001.html#Ogawa01

@inproceedings{conf/aplas/Ogawa01, added-at = {2004-06-01T00:00:00.000+0200}, author = {Ogawa, Mizuhito}, biburl = {https://www.bibsonomy.org/bibtex/26d7edd3779ec896aa76db29b3465c834/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2001}, date = {2004-06-01}, description = {dblp}, interhash = {35f00f357ed624e3b8720b7ac98a1be7}, intrahash = {6d7edd3779ec896aa76db29b3465c834}, keywords = {dblp}, pages = {183-191}, timestamp = {2004-06-01T00:00:00.000+0200}, title = {Abstract Interpretation over Infinite Abstract Domains (Tentative Report).}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2001.html#Ogawa01}, year = 2001 }