skip to content
 

Model checking C++ programs that use the STL

Presented by: 
D Kroening [ETH Zentrum]
Date: 
Tuesday 9th May 2006 - 10:00 to 10:30
Venue: 
INI Seminar Room 1
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons