![](/img/cover-not-exists.png)
[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - Using predicate abstraction to reduce object-oriented programs for model checking
Visser, William, Park, SeungJoon, Penix, JohnYear:
2000
Language:
english
DOI:
10.1145/349360.351125
File:
PDF, 376 KB
english, 2000