Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Press / Media
Search by expertise, name or affiliation
An Introduction to Formal Methods for Software Development
Haxthausen, A. E.
Public and private sector consultancy
Public sector consultancy
Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
7 Oct 2011