Skip to main content

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