Baier, Daniel
ORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X
(2021):
JavaSMT 3: Interacting with SMT Solvers in Java.
In: Silva, Alexandra und Leino, K. Rustan M. (Hrsg.):
Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Bd. 12760. Cham: Springer. S. 195-208
| Dokumententyp: | Buchbeitrag |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| ISBN: | 978-3-030-81687-2 ; 978-3-030-81688-9 |
| ISSN: | 0302-9743 |
| Ort: | Cham |
| Sprache: | Englisch |
| Dokumenten ID: | 94558 |
| Datum der Veröffentlichung auf Open Access LMU: | 09. Feb. 2023, 10:54 |
| Letzte Änderungen: | 09. Feb. 2023, 10:54 |
- Dokument bearbeiten
