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