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):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceeding of Formal Methods Europe '94 , ., ., (1994). 1994