Modular characterization of reachability and/in multi-threaded environment

Date: Tuesday, April 13, 2010
Speaker: Andrey Rybalchenko
Venue: IST Austria

Posted in RiSE Seminar