ZUM 95: The Z Formal Specification Notation: Proc./9th International Conference of Z Users. Limerick, Ireland, September 1995

Б3.5, Б4.23, Б2.23, Б3.21.

ZUM 95: The Z Formal Specification Notation: Proc./9th International Conference of Z Users. Limerick, Ireland, September 1995Ed. by Bowen J. P., Hinchey M. G..-Berlin, Heidelberg.: Springer, 1995.-Vol. 967.-571 p.-(Lecture Notes in Computer Science).