OR

Browse By

Supporting automatic reasoning about combined software and hardware systems (2003)

Grant type:
UQ External Support Enabling Grant
Researchers:

  • Associate Professor Graeme Smith

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