View of Computer Aided Verification of Relational Models by Strategic Rewriting

Return to Article Details Computer Aided Verification of Relational Models by Strategic Rewriting Download Download PDF