You are here
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.