Baier, Daniel
ORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 and Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X
(2021):
JavaSMT 3: Interacting with SMT Solvers in Java.
In: Silva, Alexandra and Leino, K. Rustan M. (eds.) :
Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Vol. 12760. Cham: Springer. pp. 195-208
| Item Type: | Book Section |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| ISBN: | 978-3-030-81687-2 ; 978-3-030-81688-9 |
| ISSN: | 0302-9743 |
| Place of Publication: | Cham |
| Language: | English |
| Item ID: | 94558 |
| Date Deposited: | 09. Feb 2023, 10:54 |
| Last Modified: | 09. Feb 2023, 10:54 |
Actions (login required)
- View Item
