Andy King, Harald Søndergaard
Automatic Abstraction for Congruences
VMCAI, 2010.
@inproceedings{VMCAI-2010-KingS, author = "Andy King and Harald Søndergaard", booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-11319-2_16", isbn = "978-3-642-11318-5", pages = "197--213", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Automatic Abstraction for Congruences}", volume = 5944, year = 2010, }