
Registered user since Fri 6 Mar 2015
Name:Brijesh Dongol
Country:United Kingdom
Affiliation:University of Surrey
Contributions
2024
Formal Methods for Incorrectness
The Future of Weak Memory
Using general profile
Registered user since Fri 6 Mar 2015
Contributions