Formaliser — An Interactive Support Tool for Z

• 1 January 1990
• book chapter
• Published by Springer Nature
• p. 128-141
• https://doi.org/10.1007/978-1-4471-3877-8_8

Abstract

Keywords

• SOFTWARE
• EDITING
• TEXT
• UNCONSTRAINED
• WYSIWYG
• CONFIGURED
• ILLUSTRATES
• FORMALISER