Deductive Verification of Programs with Underspecified Semantics by Model Extraction

  • Posted on: November 29, 2022 - 17:35
TitleDeductive 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>
Pages1-31
PublisherArXiv
DOI10.48550/arXiv.2110.01964
Undefined