home
>
book reviews
> Ian J. Hayes
Google >
Ian J. Hayes
author : Ian J. Hayes
Books
Specification Case Studies
.
1987
Specification Case Studies: 2nd edn
.
1993
Short works
Towards Libraries for Z. 1993.
(In
7th Z User Workshop
)
A Formal Semantics for a Language with Type Extension. 1995.
(In
ZUM '95
)
A predicative semantics for real-time refinement. 2003.
(In
Programming Methodology
)