Verification in Practice

    Activity: Talk or presentation › Oral presentation

    Period30 Nov 2001
    Event titleSecond Workshop Methods for Modalities, M4M 2001
    Event typeWorkshop
    Conference number2
    LocationAmsterdam, NetherlandsShow on map