Ein kompakter Sammelband aus der zehnsten internationalen Konferenz zu Z in Reading (April 1997), der aktuelle Forschungsergebnisse und praxisnahe Fallstudien zur formalen Spezifikation mit Z präsentiert, sodass Entwickler und Akademiker neue Techniken für präzise Softwaremodelle erlernen können.