DMCA

Parameterized Verification with Automatically Computed Inductive Assertions (2001)

Cached

Download Links

by T. Arons , A. Pnueli , S. Ruah , J. Xu , L. Zuck
Citations:89 - 9 self