Statistics
Publications
4
Citations
151
H-Index
4
Active since
2014
Affiliations
Data61(Current)
Japheth Lim is an author at Data61 specializing in computing, formal methods, and isabelle/hol.
Publications per year
2014–2016
4
4
Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text
David Greenaway, Japheth Lim, June Andronick et al. · 2014 · 47 citations
Refinement through restraint: bringing down the cost of verification
Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text
David Greenaway, Japheth Lim, June Andronick et al. · ACM SIGPLAN Notices · 2014 · 11 citations
1–4 of 4