Invariant-Free Deduction Methods for PLTL

1^st February 2011, 16:00
Prof Paqui Lucio
Department of Computer Languages and Systems, University of the Basque Country, Spain