Jan Zwanenburg

• Object-oriented concepts and proof rules