Modular reasoning in Object-Z

This publication has 7 references indexed in Scilit:

• An extended semantic foundation for Object-Z
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modular reasoning in Object-Z
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal methods
  ACM Computing Surveys, 1996
• Accommodating interference in the formal design of concurrent object-based programs
  Formal Methods in System Design, 1996
• The editor's page
  Environmental Software, 1988
• Theory of Modules
  IEEE Transactions on Software Engineering, 1987
• Defining liveness
  Information Processing Letters, 1985