Publications

Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system

Hulette, Geoffrey C.; Johnson-Freyd, Philip J.; Ariola, Zena M.

Abstract not provided.