Parameterized Verification with Automatically Computed Inductive Assertions (2001)

Cached

Download Links

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