Vol-1452⫷ Vol-1453 ⫸Vol-1454
urn:nbn:de:0074-1453-0


Vol-1453/19_ReinfrankNinausPeischlWotawa_AGoal-Question-MetricsModel_Confws-15_p123⫷Vol-1453/20_WalchWalterKuechlin_FormalAnalysisOfTheLinuxKernel_Confws-15_p131⫸Vol-1453/21_ShafieeHvamKristjansdottir_HowToAnalyzeAndQuantifySimilarities_Confws-15_p139
Rouven WalterMartin WalchWolfgang Küchlin

Formal analysis of the Linux kernel configuration with SAT solving