@inproceedings{DBLP:conf/sas/FergusonH93,
author = {Alex Ferguson and
John Hughes},
title = {Fast Abstract Interpretation Using Sequential Algorithms},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
pages = {45--59},
year = {1993},
crossref = {DBLP:conf/sas/1993},
url = {https://doi.org/10.1007/3-540-57264-3_28},
doi = {10.1007/3-540-57264-3_28},
timestamp = {Sat, 20 May 2017 15:32:48 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/FergusonH93},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1993,
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3},
doi = {10.1007/3-540-57264-3},
isbn = {3-540-57264-3},
timestamp = {Sat, 20 May 2017 15:32:48 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/1993},
bibsource = {dblp computer science bibliography, https://dblp.org}
}