Towards a Semantics for VDM Core

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

View graph of relations

Anne Elisabeth Haxthausen - Speaker

Presentation given at the 9th Overture Workshop, as part of FM 2011.
20 Jun 2011

Conference

TitleTowards a Semantics for VDM Core
Date20/06/201120/06/2011
CityUniversity of Limerick, Ireland
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 136769351