Finite instantiations for integer difference logic Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• November 12, 2006

Date in CU Experts

• May 28, 2014 4:11 AM

Full Author List

• Kim H; Somenzi F

author count

• 2

citation count

• 2

presented at event

• 6th International Conference on Formal Methods in Computer Aided Design  Conference

Other Profiles

International Standard Book Number (ISBN) 13

• 978-0-7695-2707-9

Additional Document Info

start page

• 31

end page

• +