ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33524
Record Status Checked
Record Id 33524
Title Better Understanding through Formal Specification
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 Comp Graph Forum 4, no. 4 (1985): 333-348. doi:10.1111/j.1467-8659.1985.tb00238.x 1985
Report RAL Technical Reports RAL-84-128. 1984. 1984