A Recipe for Specification and Verification

  • P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentation › Invited talk

    Period2 Oct 1998
    Event titleUPPAAL'98 Workshop
    Event typeConference
    LocationUppsala, SwedenShow on map