CIVL solutions to verifythis 2016 challenges

Stephen F. Siegel. CIVL solutions to verifythis 2016 challenges. SIGLOG News, 4(2):55-75, 2017. [doi]

Abstract

Abstract is missing.