Hilary Branske

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske
CMV: automatic verification of complete mediation for java virtual machines. AsiaCCS (2008)