Christine Rizkallah

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah

Country:Australia

Affiliation:University of New South Wales

Research interests:Formal Verification, Interactive Theorem Proving

Contributions

ICFP 2018	Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences