Handbook of Model Checking

著者: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Springer 2018 被引用: 699