Statistics
Publications
2
Citations
61
H-Index
2
Active since
2002
Affiliations
The University of Queensland(Current)
Dan Hazel is an author at The University of Queensland specializing in formal methods, computer science, and specification languages.
Publications per year
2002–2002
2
2
Possum: an animator for the SUM specification language
Dan Hazel, Paul Strooper, Owen Traynor · 2002 · 39 citations
1–2 of 2