Registered user since Thu 30 Jun 2016
Name:Steven Ramsay
Country:United Kingdom
Affiliation:University of Bristol
Personal website: https://sjrsay.github.io
GitHub: https://github.com/sjrsay
Contributions
2024
Formal Methods for Incorrectness
Using general profile