Author

Profile picture
Anthony Macdonald
Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland
Brisbane, Australia
1 article by this author
Sort by:
Research Article
Some Elements of Z Specification Style: Structuring Techniques
Anthony Macdonald, David Carrington
10.3217/jucs-006-12-1203
 28-12-2000
 Unique: 353 | Total: 435  | Access Period:
 1203-1225
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK