كتاب إلكتروني
CHC Model Validation with Proof Guarantees
| العنوان: | CHC Model Validation with Proof Guarantees |
|---|---|
| المؤلفون: | Otoni, RodrigoAff9, Blicha, MartinAff9, Aff10, Eugster, PatrickAff9, Sharygina, NatashaAff9 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Herber, Paula, editorAff7, Wijs, Anton, editorAff8 |
| المصدر: | Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:62-81 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031477041 9783031477058 |
|---|---|
| DOI: | 10.1007/978-3-031-47705-8_4 |