Formalizing the Tools in TRADE

Roelf J. Wieringa (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Dagstuhl, Germany
    Period8 Oct 2000
    Event titleWorkshop "Semi-formal and formal specification techniques for software systems" null
    Event typeConference
    LocationDagstuhl, Germany

    Keywords

    • METIS-120935