Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement by Viorel Preoteasa and Ralph-Johan Back May 28
Semantics and Data Refinement of Invariant Based Programs by Viorel Preoteasa and Ralph-Johan Back May 28