EASST Best Paper Award at TACAS 2011

News date:

Saturday, 26 March, 2011

Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper "Boosting Lazy Abstraction for SystemC with Partial Order Reduction" at the TACAS 2011 conference.