Skip to main content

Formal Relational Database Design: An Exercise in Extending the Formal Template Language

N. Wu and A. C. Simpson

Journal
Formal Aspects of Computing
Number
6
Pages
1231–1269
Volume
26
Year
2014