Aaron R. Bradley
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
SAT-Based Model Checking without Unrolling
Aaron R. Bradley (2011) · Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer Berlin Heidelberg