Deductive Verification of Programs with Underspecified Semantics by Model Extraction
| Title | Deductive Verification of Programs with Underspecified Semantics by Model Extraction |
| Publication Type | Artikel ohne Peer Review (erschienen) |
| Year of Publication | 2021 |
| Authors | Kamburjan, E, Wasser, N |
| How Published | ArXiv E-Print 2110.01964: <a href="https://doi.org/10.48550/arXiv.2110.01964">https://doi.org/10.48550/arXiv.2110.01964</a> |
| Pages | 1-31 |
| Publisher | ArXiv |
| DOI | 10.48550/arXiv.2110.01964 |
Undefined