Computer-aided verification

Author Statement

edited by Robert Kurshan

Publication

Kluwer Academic Publishers

Publication Year

1993

Collation

142 p. : ill. ; 25 cm

Notes

079239285X , Includes bibliographical references , Reprinted from Formal methods in system design, vol. 1, nos. 2-3

Subject

Electronic digital computers , Computer software - Verification

ADDED ENTRIES

Kurshan, R. P.

LC Class

LC Number

76.76

LC CutterNumber

.E93C65

LC Date

1993

Link To Document