Finding common ground: choose, assert, and assume (0)

by A Groce, M Erwig
Venue:in Workshop on Dynamic Analysis, 2012