Computer- Aided verification

Editor

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

Publication

Springer

Publication Year

c 1991

Collation

ix, 372 p

Series

Lecture notes in computer science; 531

Bibliography

Includes bibliographies

Subject

Computer programs- Verification

ADDED ENTRIES

Clarke, E. M. ed , ^dSeries: Lecture notes in computer science; 531

Main Class

005

Sub Class

.14

Cutter no

C738

وارد كنندة اطلاعات

soltani^d//

Link To Document