Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Seven Myths of Formal Methods Revisited

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: CMG B.V., Utrecht
    Period16 Jun 1999
    Event titleVoordracht CMG Special Interest Group on Formal Methods
    Event typeConference
    LocationCMG B.V., Utrecht

    Keywords

    • METIS-122659