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. | |
| ID | 2065505 |
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. . . .