The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

Model checking C++ programs that use the STL

Kroening, D (ETH Zentrum)
Tuesday 09 May 2006, 10:00-10:30

Seminar Room 1, Newton Institute

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧