Ali Hong

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Programming Language

Fingerprint Verification

Component Based Architecture

Top Venues

Publications

Ali Hong, Yijing Liu, Zongyan Qiu
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. FACS (2013)
Zongyan Qiu, Ali Hong, Yijing Liu
Modular Verification of OO Programs with Interfaces. ICFEM (2012)
Yijing Liu, Ali Hong, Zongyan Qiu
Inheritance and Modularity in Specification and Verification of OO Programs. TASE (2011)