DMCA

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

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