BOOM: Taking boolean program model checking one step further
G. Basler M. Hague D. Kroening L. Ong T. Wahl and H. Zhao
Book Title
TACAS
Year
2010
G. Basler M. Hague D. Kroening L. Ong T. Wahl and H. Zhao