Cooperative Reasoning for Automatic Software Verification

16^th October 2007, 16:00
Dr Andrew Ireland
School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK