![](/img/cover-not-exists.png)
Handbook of Model Checking || Combining Model Checking and Deduction
Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, RoderickVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-10575-8_20
File:
PDF, 893 KB
english, 2018