A Program Transformation for Converting Java Assertions into Control-flow Statements
Caballero, Rafael ; Hof, Vincent von ; Montenegro, Manuel ; Kuchen, Herbert 2024 Universitäts- und Landesbibliothek Münster
- Link zu diesem Datensatz
-
https://d-nb.info/1344345239
- Titel
-
A Program Transformation for Converting Java Assertions into Control-flow Statements
- Art des Inhalts
- Monographie
- Verfassangaben
- Rafael Caballero, Vincent Hof, Manuel Montenegro, Herbert Kuchen
- Autor(en)
-
- Caballero, Rafael
- Hof, Vincent von
- Montenegro, Manuel
- Kuchen, Herbert
- Verlag
- Münster : Universitäts- und Landesbibliothek Münster [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.17879/25928672713
- Online
- https://doi.org/10.17879/25928672713
- Sprache
- eng
- DDC-Klasse(n)
-
- Schlagwörter
-
- Stand
- 06.11.2024 22:46
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
