Daniel Hazel

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Daniel Hazel, Paul A. Strooper, Owen Traynor
Requirements Engineering and Verification using Specification Animation. ASE (1998)
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
The Cogito Development System. AMAST (1997)
Daniel Hazel, Paul A. Strooper, Owen Traynor
Possum: An Animator for the SUM Specification Language. APSEC (1997)
John Staples, Peter J. Robinson, Daniel Hazel
A Functional Logic for Higher Level Reasoning About Computation. Formal Aspects Comput. 6 (1) (1994)