A Survey on Kernel Specification and Verification (1997)

Cached

Download Links

by Ahmed Helmy
Venue:TR 97-654 of CS at USC
Citations:8 - 7 self