Verification in Practice

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Period30 Nov 2001
    Event titleSecond Workshop Methods for Modalities, M4M 2001
    Event typeWorkshop
    Conference number2
    LocationAmsterdam, Netherlands