@inproceedings{VMCAI-2006-GurfinkelWC,
author = "Arie Gurfinkel and Ou Wei and Marsha Chechik",
booktitle = "{Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/11609773_25",
isbn = "3-540-31139-4",
pages = "381--397",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Systematic Construction of Abstractions for Model-Checking}",
volume = 3855,
year = 2006,
}
Tags: