Some publications by Andrew Hussey

Back

Internal reports
  1. Andrew Hussey and Brenton Atchison. Safe Architectural Design Principles. Technical report 00-19, Software Verification Research Centre, University of Queensland, 2000. [WWW ]



This document was translated from BibTEX by bibtex2html