Symbolic Counter Abstraction for Concurrent Software

Date: Tuesday, March 09, 2010
Speaker: Daniel Kroening
Venue: IST Austria

Posted in RiSE Seminar