Christine Rizkallah - ECOOP 2019

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

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah

Country:Australia

Affiliation:UNSW Sydney

Personal website: http://www.cse.unsw.edu.au/~crizkallah/

Research interests:Formal Verification, Interactive Theorem Proving

Contributions

2019

FTfJP

Committee Member in Program Committee within the FTfJP 2019-track

Show activities from other conferences

ECOOP 2019-profile
View general profile