Franklin

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst, eds.

Publication:
Berlin ; New York : Springer-Verlag, c1993.
Format/Description:
Conference/Event
Book
ix, 422 p. : ill. ; 24 cm.
Conference Name:
CAV (Conference) (4th : 1992 : Montréal, Québec)
Series:
Lecture notes in computer science ; 663
Status/Location:
Loading...

Get It

Details

Subjects:
Computer software -- Verification -- Congresses.
Electronic digital computers -- Evaluation -- Congresses.
Local notes:
Acquired for the Penn Libraries with assistance from the James A. Crawford Memorial Fund.
Contributor:
Bochmann, Gregor von, 1941-
Probst, D. K. (David Karl), 1945-
James A. Crawford Memorial Fund.
ISBN:
0387564969
OCLC:
27432830