Haoxian Zhao

Publication Activity (10 Years)

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

Publications

Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
Boom: Taking Boolean Program Model Checking One Step Further. TACAS (2010)