An Introduction to Formal Methods for Software Development

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

View graph of relations

Anne Elisabeth Haxthausen - Speaker

Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
25 Jun 2010

External organisation

NameBanedanmark (Rail Net Denmark)
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 2368139