Verification of Infinite Structures

5^th February 2008, 16:00
Prof Luke Ong
Computing Laboratory, Oxford University, UK