A logic-based approach to system testing
Morciniec, Tobias ; Podelski, Andreas 2017 Universität
- Link zu diesem Datensatz
- https://d-nb.info/1135134251
- Titel
- A logic-based approach to system testing
- Art des Inhalts
- Monographie
- Autor(en)
-
- Morciniec, Tobias
- Podelski, Andreas
- Organisation(en)
-
- Albert-Ludwigs-Universität Freiburg (Softwaretechnik)
- Albert-Ludwigs-Universität Freiburg (Fakultät für Angewandte Wissenschaften)
- Albert-Ludwigs-Universität Freiburg
- Verlag
- Freiburg : Universität [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- DOI
- 10.6094/UNIFR/12724
- Online
- https://doi.org/10.6094/UNIFR/12724
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- cc_by_nc_sa http://creativecommons.org/licenses/by-nc-sa/4.0/deed.de cc
- Stand
- 29.11.2025 11:15
- Im Katalog seit
- 06.03.2026