Model Checking with Abstract Types (2001)

Cached

Download Links

by Kirsten Winter
Venue:WORKSHOP ON SOFTWARE MODEL CHECKING SOFTMC01
Citations:3 - 2 self