Verifying Invariants Using Theorem Proving (1996)

Cached

Download Links

by Susanne Graf , Hassen Saïdi
Venue:IN ALUR AND HENZINGER [AH96
Citations:27 - 5 self