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 CCLRC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
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. doi:10.1007/978-1-4471-1532-8_4 1997