Specifying Message Formats with Contiguity Types |
|
| Author | |
| Year of Publication |
2021
|
| Conference Name |
12th International Conference on Interactive Theorem Proving (ITP 2021)
|
| Publisher |
Schloss Dagstuhl — Leibniz-Zentrum für Informatik
|
| Conference Location |
Dagstuhl, Germany
|
| ISBN Number |
978-3-95977-188-7
|
| URL | |
| DOI |
10.4230/LIPIcs.ITP.2021.30
|
| Google Scholar | BibTeX | DOI |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.