مؤتمر
Formal Proof of Contract Theorem in First-Order Logic in Coq
| العنوان: | Formal Proof of Contract Theorem in First-Order Logic in Coq |
|---|---|
| المؤلفون: | Wang, Qiming, Liu, Jianghao, Guo, Dakai, Yu, Wensheng |
| المصدر: | 2023 9th International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2023 9th International Conference on. :1520-1524 Dec, 2023 |
| Relation: | 2023 9th International Conference on Computer and Communications (ICCC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350317251 |
|---|---|
| تدمد: | 28377109 |
| DOI: | 10.1109/ICCC59590.2023.10507313 |