An Introduction to Formal Methods for Software Development

Activity: Other research and communication activitiesExternal teaching and subject coordination

Anne Elisabeth Haxthausen - Invited speaker, 7 Oct 2011

Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
PlaceBanedanmark, Copenhagen
View graph of relations

ID: 2373527