Z User Workshop, Cambridge 1994
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1994 |
| Authors | J. P. Bowen |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2245567 |
About Z User Workshop, Cambridge 1994
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. . . .