School Seminar Series

Towards Deductive Verification in First-Order Temporal Logics

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