عنوان

Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

13th: 2001: Paris, France

Berlin

Springer-Verlag

c2001

xiii, 520 p.: ill., tables

Lecture notes in computer science; 2012

Includes bibliographies

ISBN: 3540423451

Gerard Berry, Hubert Comon, Alain Finkel )eds.(

Congresses ، Computer software -- Verification

Congresses ، Integrated circuits -- Verification

L28

Vol

2102

AU Comon, Hubert

AU Berry, Gerard, 1948-

AU Finkel, A.

CAV