Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann
Browse the full FMCAD paper archive.