Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS (1995)

Cached

Download Links

by Sam Owre , John Rushby , Natarajan Shankar , Friedrich Von Henke
Venue:IEEE Transactions on Software Engineering
Citations:306 - 43 self