Towards a Semantics for VDM Core

    Activity: Talks and presentationsGuest lectures, external teaching and course activities at other universities

    Description

    Presentation given at the 9th Overture Workshop, as part of FM 2011.
    Period20 Jun 2011
    Event titleTowards a Semantics for VDM Core
    Event typeConference
    LocationUniversity of Limerick, Ireland