 | 1998 |
|---|
| 4 |       | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Requirements Engineering and Verification using Specification Animation.
ASE 1998: 302-305 |
| 1997 |
|---|
| 3 |  | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
| 2 | | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Possum: An Animator for the SUM Specification Language.
APSEC 1997: 42-51 |
| 1994 |
|---|
| 1 | | John Staples,
Peter J. Robinson,
Daniel Hazel:
A Functional Logic for Higher Level Reasoning About Computation.
Formal Asp. Comput. 6(1): 1-38 (1994) |
