The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28959
Record Status Checked
Record Id 28959
Title Towards a Compositional Semantics for Modular VDM Specifications: Contextual Structuring
Organisation CCLRC , BITD
Keywords Contextual Structuring , Formal Methods , Modularity , VDM , Structured Specification
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In The Second VDM Workshop - in conjunction with ZB 2000 (VDM in 2000!), University of York, UK, 2 Sep 2000, (2000). vdmmodules.ps