DMCA
Parameterized Verification with Automatically Computed Inductive Assertions (2001)
by
T. Arons
,
A. Pnueli
,
S. Ruah
,
J. Xu
,
L. Zuck
Citations: | 90 - 9 self |