Deductive Verification of Programs with Underspecified Semantics by Model Extraction

  • Veröffentlicht am: 29 November, 2022 - 17:35
TitelDeductive Verification of Programs with Underspecified Semantics by Model Extraction
Publication TypeArtikel ohne Peer Review (erschienen)
Year of Publication2021
AuthorsKamburjan, E, Wasser, N
How PublishedArXiv E-Print 2110.01964: <a href="https://doi.org/10.48550/arXiv.2110.01964">https://doi.org/10.48550/arXiv.2110.01964</a>
Seiten1-31
PublisherArXiv
DOI10.48550/arXiv.2110.01964
Undefined