Towards Deductive Verification in First-Order Temporal Logics

25^th November 2003, 16:00
Alexei Lisitsa
Department of Computer Science, University of Liverpool, UK