Formal Methods in the BOS project

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period14 Oct 1997
    Event titleVoordracht COST 247 meeting
    Event typeConference
    LocationStirling, United Kingdom