عنوان

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

2004 : Boston, MA

Berlin

Springer-Verlag

c2004

xii, 536 p.: ill

Lecture notes in computer science; 4113

Includes bibliographies

ISBN: 3540223428

Rajeev Alur, Doron A. Peled )eds.(

Congresses ، Computer software -- Verification

Congresses ، Integrated circuits -- Verification

Evaluation -- Congresses ، Electronic digital computers

L28

Vol

3114

AU Alur, Rajeev, 1966-

AU Peled, Doron A., 1962-

CAV