Towards Formally Templated Relational Database Representations in Z
N. Wu and A. C. Simpson
Book Title
Proceedings of the 2nd International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010)
Pages
363–376
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5977
Year
2010