J
J. M. Spivey
Researcher at University of Oxford
Publications - 1
Citations - 3547
J. M. Spivey is an academic researcher from University of Oxford. The author has contributed to research in topics: Z notation & B-Method. The author has an hindex of 1, co-authored 1 publications receiving 3522 citations.
Papers
More filters
Book
The Z notation: a reference manual
TL;DR: Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.