Skip to main content

Supplementing the understanding of Z: a formal approach to database design

A. C. Simpson and A. P. Martin

Book Title
Proceedings of the BCS Teaching Formal Methods workshop
Publisher
BCS
Year
2003