K and KIV: Towards Deductive Verification for Arbitrary Programming Languages : International workshop on algebraic development techniques
In: Lecture notes in computer science 12669:98-119; Jg. 12669 (2021) S. 98-119
Konferenz
Zugriff:
Titel: |
K and KIV: Towards Deductive Verification for Arbitrary Programming Languages : International workshop on algebraic development techniques
|
---|---|
Autor/in / Beteiligte Person: | Klumpp, Dominik ; Lenzen, Philip |
Link: | |
Quelle: | Lecture notes in computer science 12669:98-119; Jg. 12669 (2021) S. 98-119 |
Veröffentlichung: | 2021 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|