Brijesh Dongol

Registered user since Fri 6 Mar 2015

Name: Brijesh Dongol

Affiliation: University of Surrey

Contributions

FTfJP 2019 Towards Deductive Verification of C11 Programs with Event-B and ProB
Show activities from other conferences

ECOOP 2019-profile
View general profile