A WP-calculus for OO (0)

by Frank S de Boer
Venue:Proceedings of Foundations of Software Science and