Constraints in One-to-Many Concretization for Abstraction Refinement Conference Proceeding

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

July 26, 2009

Date in CU Experts

May 28, 2014 4:11 AM

Full Author List

Nanshi K; Somenzi F

author count

2

citation count

1

published in

Design Automation Conference Journal

presented at event

46th ACM/IEEE Design Automation Conference (DAC 2009) Conference

Other Profiles

International Standard Serial Number (ISSN)

0738-100X

International Standard Book Number (ISBN) 13

978-1-60558-497-3

Additional Document Info

start page

569

end page

574