Johnson-Freyd, Philip, Hulette, Geoffrey Compton, and Ariola, Zena M. Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.. United States: N. p., 2016. Web. doi:10.1007/978-3-319-45943-1_14. Copy to clipboard

Johnson-Freyd, Philip, Hulette, Geoffrey Compton, & Ariola, Zena M. Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.. United States. doi:10.1007/978-3-319-45943-1_14. Copy to clipboard

Johnson-Freyd, Philip, Hulette, Geoffrey Compton, and Ariola, Zena M. Sun . "Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.". United States. doi:10.1007/978-3-319-45943-1_14. https://www.osti.gov/servlets/purl/1367058. Copy to clipboard