View of Testing the Satisfiability of Z Formal Specifications by Using Prolog

Return to Issue Details Testing the Satisfiability of Z Formal Specifications by Using Prolog Download Download PDF