Aarhus University logo
Dansk
Trustworthy Autonomous Systems Node in Verifiability
https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V026801/1