Brijesh Dongol is a Director of the NCSC/UK Research Institute on Verified Trustworthy Software Systems (VeTSS, https://vetss.org.uk/)hosted jointly at Surrey and Imperial. Our research includes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback