Francesco Logozzo, Agostino Cortesi
Semantic Hierarchy Refactoring by Abstract Interpretation
VMCAI, 2006.
@inproceedings{VMCAI-2006-LogozzoC, author = "Francesco Logozzo and Agostino Cortesi", booktitle = "{Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/11609773_21", isbn = "3-540-31139-4", pages = "313--331", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Semantic Hierarchy Refactoring by Abstract Interpretation}", volume = 3855, year = 2006, }