Papers: 10.1007/978-3-030-53291-8_7

https://doi.org/10.1007/978-3-030-53291-8_7

Global Guidance for Local Generalization in Model Checking

Cited by: 12
Author(s): Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel
Published: over 5 years ago

Software Mentions 2