Publishing Formal Specifications in Z Notation on World Wide Web

• Authors:

• Lubos Mikusiak;Miroslav Adámy;Thomas Seidmann

• Affiliations:

• -;-;-

• Venue:
• TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
• Year:
• 1997