Hoare Logic for Object-Oriented Programming Concepts

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
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Boer, F. (2003). Hoare Logic for Object-Oriented Programming Concepts. In Proceedings of Formal Methods for Open Object-Based Distributed Systems 2003. Springer.

Publication