DMCA

Bebop: A Symbolic Model Checker for Boolean Programs (2000)

by Thomas Ball , Sriram K. Rajamani
Citations:255 - 24 self