Formal methods in computer-aided design
Subtitle: eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
By: edited by Alessandro Cimatti, Robert Jones
Contributors: Cimatti, Alessandro; Jones, Robert B. (Robert Brent), 1969-
Publisher: IEEE
Published: 2008
Place of publication: Piscataway, N.J
Language: eng
Number of pages: 232
ISBN-13: 9781424427352
Subjects: Digital integrated circuits; Congresses; Computer-aided design; Integrated circuits; Verification; Formal methods (Computer science); Design and construction; Mathematics
Notes: Includes bibliographical references and index.