OR

Browse By

Refinement calculus for logic programming (1996)

Grant type:
ARC Australian Research Council (Small grants)
Researchers:

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Australian Research Council