Ralph-Johan Back

Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement

by Viorel Preoteasa 🌐 and Ralph-Johan Back 🌐

Semantics and Data Refinement of Invariant Based Programs

by Viorel Preoteasa 🌐 and Ralph-Johan Back 🌐