Formal Proof of Contract Theorem in First-Order Logic in Coq
In: 9th International Conference on Computer and Communications (ICCC); (2023-12-08) S. 1520-1524
Konferenz
Zugriff:
Titel: |
Formal Proof of Contract Theorem in First-Order Logic in Coq
|
---|---|
Autor/in / Beteiligte Person: | Wang, Qiming ; Liu, Jianghao ; Guo, Dakai ; Yu, Wensheng |
Quelle: | 9th International Conference on Computer and Communications (ICCC); (2023-12-08) S. 1520-1524 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
ISBN: | 979-8-3503-1725-1 (print) |
ISSN: | 2837-7109 (print) |
DOI: | 10.1109/ICCC59590.2023.10507313 |
Sonstiges: |
|