Teaching

• Specification and Verification of Heap Access Policies, ESF Winter School on Verification of Object-Oriented Programs, January 2009
• Verification of Security Protocols, TU Eindhoven, Spring 2008

Last modified: Apr 11, 2009
Christian Haack