ZUM '95: The Z Formal Specification Notation
No description available.
Programming TechniquesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationLogic designLogics and Meanings of ProgramsComputer scienceData processingCombinatorial analysisZ (computer program language)Congresses