Formele Methoden in de praktijk

Brinksma, H. (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period2 Feb 1998
    Event titleOpeningsdag Telematica Instituut 1998
    Event typeConference
    LocationEnschede, Netherlands