Blogs (61) >>

Not registered as user yet

Name:Mohsen Safari
Affiliation:University of Twente, The Netherlands

Contributions

FTfJP 2018 An Exercise in Verifying Sequential Programs with VerCors
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile