Literature for Model Checking: Techniques and Applications


Link to the Homepage: Model Checking: Techniques and Applications


no image available Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut and Bloem, Roderick
Handbook of model checking
Springer 2018