Predicting Rankings of Software Verification Tools Using Kernels for Structured Data - Czech, Mike; Wehrheim, Heike; SFB 901; SFB 901 - Subprojekt B3; SFB 901 - Project Area B (Universität Paderborn, 2016)
Keywords: thesis