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

Grant type:
UQ External Support Enabling Grant
Researchers:
  • Associate Professor
    School of Information Technology and Electrical Engineering
    Faculty of Engineering, Architecture and Information Technology
Funded by:
University of Queensland