The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28873
Record Status Checked
Record Id 28873
Title Experiences in Using the Abstract Machine Notation in a GKS Case Study
Abstract This paper discusses the authors' experiences in re├░engineering and subsequently refining part of a Z├░style specification of the Graphics Kernel System, using the Abstract Machine Notation as supported in the B Toolkit.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Second International Symposium of Formal Methods Europe (FME '94), Barcelona, Spain, 24-28 Oct 1994, (1994): 93-104. 1994