Computer-aided verification
By: edited by Robert Kurshan.
Contributors: Kurshan, R. P., 1943-
Publisher: Kluwer Academic Publishers
Published: 1992
Place of publication: Boston
Language: eng
Number of pages: 142
Subjects: Computer software -- Verification.; Electronic digital computers -- Evaluation.
Notes: Includes bibliographical references.
"Reprinted from Formal methods in system design, vol. 1, nos. 2-3."