Department Seminar Series
Cooperative Reasoning for Automatic Software Verification
16th October 2007, 16:00
Dr Andrew Ireland
School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK
Maintained by Othon Michail