An Introduction to Formal Methods for Software Development
Activity: Other research and communication activities › External teaching and subject coordination
Anne Elisabeth Haxthausen - Invited speaker, 25 Jun 2010
- Technical University of Denmark
- Department of Informatics and Mathematical Modeling
- Software Engineering
Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
| Place | Banedanmark (Rail Net Denmark) |
|---|
Loading map data...
ID: 2368139