Dependent_SIFUM_Type_Systems Dependents

Compositional Security-Preserving Refinement for Concurrent Imperative Programs

by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah