ePubs

The open archive for STFC research publications

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
Contributors
Abstract
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 Sept 2000, (2000). vdmmodules.ps
vdmmodules.pdf		 2000