Brijesh Dongol - ECOOP 2019

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

Registered user since Fri 6 Mar 2015

Name:Brijesh Dongol

Affiliation:University of Surrey

Contributions

2019

FTfJP

Towards Deductive Verification of C11 Programs with Event-B and ProB

Show activities from other conferences

ECOOP 2019-profile
View general profile