![Sadegh Dalvandi](https://conf.researchr.org/getProfileImage/sadeghdalvandi/754d99b4-2dd9-4046-8d73-dbc55205fe88/small.jpg?1711523764000)
Registered user since Tue 25 Jun 2019
Name:Sadegh Dalvandi
Affiliation:University of Surrey
Personal website: http://www.dalvandi.com
Research interests:Formal methods, Program verification
Contributions
SPLASH 2020-profile
View general profile
View general profile