Title: ZUM '95: The Z Formal Specification Notation
Subjects: Programming Techniques, Software engineering, Algebra, Symbolic and Algebraic Manipulation, Logic design, Logics and Meanings of Programs, Computer science, Data processing, Combinatorial analysis, Z (computer program language), Congresses