Computer Aided Verification photograph

Computer Aided Verification

Use attributes for filter !
Google books books.google.com
Originally published June 4, 1997
Authors Orna Grumberg
Editors Orna Grumberg
Date of Reg.
Date of Upd.
ID2065505
Send edit request

About Computer Aided Verification


This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. . . .

Related Persons

Next Profile ❯