ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/25054
Record Status Checked
Record Id 25054
Title Reasoning About VDM Developments Using the VDM Support Tool in Mural
Contributors
Abstract
Organisation SERC
Keywords
Funding Information
Related Research Object(s): 28844
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL-92-010. 1992. RAL-TR-1992-010.pdf 1992