The First World Congress on Formal Methods in the Development of Computing Systems Jeanette WingJim Woodcock Editorial Pages: 145 - 146
Data Abstraction Techniques in the Validation of CSP-OZ Specifications Heike Wehrheim Original Paper Pages: 147 - 164