OR

Browse By

Automatic Invariant Discovery Assistant (AIDA) (2021)

Grant type:
Commonwealth Defence Science and Technology Group
Researchers:

  • Associate Professor Mark Utting

    Associate Professor in Software Eng
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Commonwealth Department of Defence