OR

Browse By

Refinement Calculus for Logic Programming (1997)

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