DMCA

Verifying Safety Properties using Separation and Heterogeneous Abstractions (2004)

Cached

Download Links

by Eran Yahav , G. Ramalingam
Venue:IN PROCEEDINGS OF THE SIGPLAN ’04 CONFERENCE ON PROGRAM LANGUAGE DESIGN AND IMPLEMENTATION
Citations:30 - 6 self