عنوان

Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science

Providence, R.I

American Mathematical Society

c1991

xii, 628p.: ill., tables

DIMACS series in discrete mathematics and theoretical Computer science; Vol.3

Proceedings of the second Workshop on Computer Aided Verification, CAV'90

Includes bibliographies

ISBN: 0821865943

E.M. Clarke, R.P. Kurshan editors

Design and construction -- Data processing -- Congresses ، Digital integrated circuits

Congresses ، Computer-aided design

7874

D55

1990

AU Clarke, E. M., 1945-

AU Kurshan, R. P., 1943-

CO Center for Discrete Mathematics and Theoretical Computer Science

CAV