View of Transforms Class to Formal Specification By Object-Z

Return to Article Details Transforms Class to Formal Specification By Object-Z Download Download PDF