Michael Norrish
homepage: | http://nicta.com.au/people/norrishm |
search externally: |
|
Lecture:
tutorial![]() as author at Summer Schools in Logic and Learning, Canberra 2009, 5130 views |