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