Skip to content

LAA

Seminar

Program verification by parametric abstraction and semi-definite programming

Cousot, P (ENS-DI)
Monday 08 May 2006, 14:00-15:00

Seminar Room 1, Newton Institute

Presentation

[pdf ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧