Combining Static and Runtime Verification with AC and Coq.
In: VORTEX@ISSTA; (2023) S. 17-20
Konferenz
Zugriff:
Titel: |
Combining Static and Runtime Verification with AC and Coq.
|
---|---|
Autor/in / Beteiligte Person: | Audrito, Giorgio ; Haures, Daniel |
Link: | |
Quelle: | VORTEX@ISSTA; (2023) S. 17-20 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
DOI: | 10.1145/3605159.3605857 |
Sonstiges: |
|