2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers