An Introduction to Formal Methods for Software Development

Haxthausen, A. E. (Consultant)

    Activity: Public and private sector consultancyPublic sector consultancy

    Description

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