Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohsen Safari
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
SPLASH 2021 profile
Not registered as user yet
Name:
Mohsen Safari
Affiliation:
University of Twente, The Netherlands
Personal website:
https://people.utwente.nl/m.safari
Contributions
2021
Static Analysis Symposium
Author of Automated Verification of the Parallel Bellman--Ford Algorithm within the SAS-track
2018
FTfJP
Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track
Share
x
Tue 12 Nov 20:46