by VDM-Europe. International Symposium, D. Bjorner, C. A. R. Hoare
"The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose…