Formal Methods in the BOS project

  • G.J. Tretmans (Invited speaker)

    Activity: Talk or presentation › Invited talk

    Period14 Oct 1997
    Event titleVoordracht COST 247 meeting
    Event typeConference
    LocationStirling, United KingdomShow on map