Formal Methods Z notation B-Method Z User Meetings 9th International Conference of Z Users ZUM'95 7-8th September 1995 University of Limerick, Ireland You may order the proceedings from the Internet Book Shop. See report on the meeting by Margaret West (Univ. of Leeds, UK). See also Call for Participation, booking form, programme, colour poster, monochrome poster, a Limericks Competition, ZUM'94 ...