- Record: found
- Abstract: not found
- Book: not found
Proc. of the 7th. International Conference on Computer-Aided Verification, CAV'95, volume 939 of Lecture Notes in Computer Science
1995
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.