Department Seminar Series
Invariant-Free Deduction Methods for PLTL
1st February 2011, 16:00
Prof Paqui Lucio
Department of Computer Languages and Systems, University of the Basque Country, Spain
Maintained by Othon Michail