Handbook of Model Checking
Clarke, E.M. (Ed.)
Handbook of Model Checking - Switzerland Springer 2018 - xxiv, 1210p.
9783319105741
Computer Systems—Verification
004.21 / Cla
Handbook of Model Checking - Switzerland Springer 2018 - xxiv, 1210p.
9783319105741
Computer Systems—Verification
004.21 / Cla