Date:
Tuesday, March 02, 2010
Speaker:
Andrei Voronkov
Venue: TU Vienna
Path Feasibility Analysis for String-Manipulating Programs
Posted in RiSE Seminar