The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/48894037
Record Status Checked
Record Id 48894037
Title Do not read this
Organisation CCLRC , ESC
Funding Information
Related Research Object(s): 33534
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 2391 (2002): 106-125. Presented at: FME 2002: Formal Methods - Getting IT Right (FME 2002), Copenhagen, Denmark, 22-24 Jul 2002. STFC-AAM-2021-005.pdf 2002