Centre for Discrete Mathematics & Theoretical Computer Science
Works:
- Unconventional models of computation
- Formal methods pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand
- People & ideas in theoretical computer science
- International Refinement Workshop & Formal Methods Pacific '98 : proceedings of IRW/FMP '98, 29 September - 2 October 1998, Canberra, Australia