A Regression Proof Selection Tool For Coq
In: IEEE/ACM 40th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion); (2018-05-01) S. 117-120
Online
Konferenz
Zugriff:
Titel: |
A Regression Proof Selection Tool For Coq
|
---|---|
Autor/in / Beteiligte Person: | Celik, Ahmet ; Palmskog, Karl ; Gligoric, Milos |
Link: | |
Quelle: | IEEE/ACM 40th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion); (2018-05-01) S. 117-120 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
ISBN: | 978-1-4503-5663-3 (print) |
ISSN: | 2574-1934 (print) |
Sonstiges: |
|