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