ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28845
Record Status Checked
Record Id 28845
Title A VDM Case Study in Mural
Contributors
Abstract
Organisation BITD , SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article IEEE Transactions on Software Engineering 18, no. 4 (1992): 279-295. http://doi.ieeeco…rg/10.1109/32.129217 1992