A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (0)

by R Jeffords, C Heitmeyer, M Archer, E Leonard
Venue:Lecture Notes in Computer Science