Treffer: A Program Transformation for Converting Java Assertions into Control-flow Statements

Titel:
A Program Transformation for Converting Java Assertions into Control-flow Statements / Rafael Caballero, Vincent Hof, Manuel Montenegro, Herbert Kuchen
Beteiligt:
Caballero, Rafael (Verfasser) ; Hof, Vincent von (Verfasser) ; Montenegro, Manuel (Verfasser); Kuchen, Herbert (Verfasser) 
Veröffent­licht:
Münster : Universitäts- und Landesbibliothek Münster, 2024
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Working Papers ; 25
DOI:
10.17879/25928672713

Zusatz-Informationen

Zusatz-Funktionen