Research outputs (7)

1. Published

   Kopitiam – a unified IDE for developing formally verified Java programs

   Research output: Book / Anthology / Report / Ph.D. thesis › Report

2. Published

   Incremental Interactive Verification of the Correctness of Object-Oriented Software

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

3. Published

   Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (7) »