View of Bisimulation Verification for the DPO Approach with Borrowed Contexts

Return to Article Details Bisimulation Verification for the DPO Approach with Borrowed Contexts Download Download PDF