The open archive for STFC research publications

ePubs will be undergoing scheduled maintenance on 19/06/2024 between 10:00-12:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33535
Record Status Checked
Record Id 33535
Title Formal Development of Databases in ASSO and B
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 World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, 20-24 Sep 1999, (1999): 388-410. doi:10.1007/3-540-48119-2_23 1999