Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinementby Viorel Preoteasa and Ralph-Johan Back28 May
Semantics and Data Refinement of Invariant Based Programsby Viorel Preoteasa and Ralph-Johan Back28 May