COMP2600: Formal Methods for Software Engineering - 2012
- Rajeev Gore,
(Rajeev.Gore@anu.edu.au) Room B260, RSISE Building, phone 56803
Note that some of us are part-time -
it is best to make an appointment to see us. We will try to respond
to emails promptly.
If your email concerning COMP2600 is not to a particular
member, then it should be addressed to