An integrated approach to formal and informal specification

Roelf J. Wieringa (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period23 Mar 2000
    Event titleAspire Final Workshop 2000
    Event typeWorkshop
    LocationBerlin, Germany