A Recipe for Specification and Verification

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period2 Oct 1998
    Event titleUPPAAL'98 Workshop
    Event typeConference
    LocationUppsala, Sweden