Funded by UK Research Institute in Verified Trustworthy Software Systems (VeTSS).

For details, please contact Greta Yorsh.