An Introduction to Formal Methods for Software Development
Activity: Other research and communication activities › External 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.
| Place | Banedanmark, Copenhagen |
|---|
Loading map data...
ID: 2373527