مؤتمر
Stratified Certification for k-Induction
| العنوان: | Stratified Certification for k-Induction |
|---|---|
| المؤلفون: | Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo |
| المصدر: | 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :59-64 Oct, 2022 |
| Relation: | 2022 Formal Methods in Computer-Aided Design (FMCAD) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9783854480532 |
|---|---|
| تدمد: | 27087824 |
| DOI: | 10.34727/2022/isbn.978-3-85448-053-2_11 |