Ian Hayes
6 published titles
Specification case studies
(Contributor)
2 editions
- ISBN: 0138265798
- Prentice-Hall International
- 1987
- Details
- ISBN: 0138325448
- Prentice Hall International
- 1993
- Details
FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540278825
- Springer
- 2005
- Details
Deriving specifications for systems that are connected to the physical world
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2007
- Details
Comparing models of nondeterministic expression evaluation
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Laws and semantics for rely-guarantee refinement
1 edition
- Newcastle University, Computing Science
- Details
Possible values : exploring a concept for concurrency
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details