Prof. Rajeev P. Goré Logic and Computation Group Research School of Computer Science College of Engineering and Computer Science The Australian National University ANU CRICOS Provider Number - 00120C |
Tel: +61-2-6125 8603 Fax: +61-2-6125 8651 Email: Rajeev.Gore at anu.edu.au Post: RSISE Building 115, Canberra, ACT, 2601, Australia |
Publications | Technical Reports | Slides | Software | Conferences | Drafts and Submissions | Other Web Sites |