Additional Metadata
ACM Software/Program Verification (acm D.2.4)
THEME Software (theme 1)
Publisher Springer
Conference IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Citation
de Boer, F.S. (2003). Hoare Logic for Object-Oriented Programming Concepts. In Proceedings of Formal Methods for Open Object-Based Distributed Systems 2003. Springer.