Verification of object-oriented programs: A transformational approach
- Krzysztof R. Apt
- , Frank S. de Boer
- , Ernst-Rüdiger Olderog
- , Stijn de Gouw
Research output: Contribution to journal › Article › Academic › peer-review
9
Link opens in a new tab
Citations
(Web of Science)