1. (100%) A Logic for Object-Z - A Logic For Object-z,Graeme Smith
This paper presents a logic for Object-Z which extends W , the logic for Z adopted as the basis of the deductive system in the Z Base Standard. The logic provides a basis on which tool support for
(ps) - 31-mar-2009