Publications Details

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; Ariola, Zena

Abstract not provided.