Bringing Down the Cost of Verification • Gabriele Keller • YOW! 2016

GOTO Conferences - Bringing Down the Cost of Verification • Gabriele Keller • YOW! 2016