Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Browse the full FMCAD paper archive.