Towards Formally Templated Relational Database Representations in Z
Nicolas Wu and Andrew Simpson
Details
| Book Title |
Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010) |
| Pages |
363−376 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
5977 |
| Year |
2010 |
Links
Related pages
|
People |