Willem Visser, Seungjoon Park, John Penix. Using predicate abstraction to reduce object-oriented programs for model checking. In Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. pages 3-182, ACM, 2000. [doi]
@inproceedings{VisserPP00,
title = {Using predicate abstraction to reduce object-oriented programs for model checking},
author = {Willem Visser and Seungjoon Park and John Penix},
year = {2000},
doi = {10.1145/349360.351125},
url = {http://doi.acm.org/10.1145/349360.351125},
tags = {object-oriented programming, meta programming, model checking, meta-model, object-role modeling, subject-oriented programming, abstraction, Meta-Environment, feature-oriented programming},
researchr = {https://researchr.org/publication/VisserPP00},
cites = {0},
citedby = {0},
pages = {3-182},
booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA},
editor = {Mats Per Erik Heimdahl},
publisher = {ACM},
isbn = {1-58113-262-X},
}