Supplementing the understanding of Z: a formal approach to database design
A. C. Simpson and A. P. Martin
Details
| Book Title |
Proceedings of the BCS Teaching Formal Methods workshop |
| Publisher |
BCS |
| Year |
2003 |
Links
Related pages
|
People |