page 1  (15 pages)
2to next section

SOFTWARE VERIFICATION RESEARCH CENTRE
DEPARTMENT OF COMPUTER SCIENCE
THE UNIVERSITY OF QUEENSLAND
Queensland 4072
Australia

TECHNICAL REPORT

Phone: +61 7 365 1003
Fax: +61 7 365 1533

No. 93-6

David Carrington and David Duke and Ian Hayes and Jim Welsh
Deriving Modular Designs from Formal Specifications

April 1993