Date:
Tuesday, March 09, 2010
Speaker:
Daniel Kroening
Venue: IST Austria
Symbolic Counter Abstraction for Concurrent Software
Posted in RiSE Seminar