Path Feasibility Analysis for String-Manipulating Programs

Date: Tuesday, March 02, 2010
Speaker: Andrei Voronkov
Venue: TU Vienna

Posted in RiSE Seminar