![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Parameterized Verification with Automatically Computed Inductive Assertions?
Berry, Gérard, Comon, Hubert, Finkel, AlainVolume:
10.1007/3-
Year:
2001
Language:
english
DOI:
10.1007/3-540-44585-4_19
File:
PDF, 237 KB
english, 2001