Computer-aided verification '90
Subtitle: proceedings of a DIMACS workshop, June 18-21, 1990
By: E. M. Clarke, R. P. Kurshan, editors.
Contributors: Clarke, E. M., 1945-; Kurshan, R. P., 1943-
Series: DIMACS series in discrete mathematics and theoretical computer science,; v. 3.
Publisher: American Mathematical Society; Association for Computing Machinery
Published: 1991
Place of publication: Providence, RI; Baltimore, Md
Language: eng
Number of pages: 628
Subjects: Digital integrated circuits -- Computer-aided design -- Congresses.; Integrated circuits -- Verification -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.
"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.