Springer
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Computer Security

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.