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}, }