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

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