ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/38866707
Record Status Checked
Record Id 38866707
Title The specification and proof of an EXPRESS to SQL "Compiler"
Contributors
Abstract
Organisation STFC , SCI-COMP
Keywords
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Book Chapter or Section In Proof in VDM: case studies. Edited by Bicarregui JC, chapter 4, 95-121. Springer, 1997. 1997
Showing record 1 of 1