OR

Browse By

Adding flexible modularisation to the refinement calculus (1996)

Grant type:
UQ External Support Enabling Grant
Researchers:

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
The University of Queensland