Date:
Tuesday, June 15, 2010
Speaker:
Helmut Seidl
Venue: TU Vienna
Semi-Definite Programming for Inferring Quadratic Invariants
Posted in RiSE Seminar