You are here

Best Paper Award at the FMCAD12

News date: 
Wednesday, 24 October, 2012

Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper "A quantifier-free SMT encoding of non-linear hybrid automata".