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

Caballero R, Von Hof V, Montenegro M, Kuchen H



Publikationstyp
Bericht (Arbeits-, Forschungs-, Jahresbericht)

Begutachtet
Nein

Publikationsstatus
Veröffentlicht

Jahr
2016

Herausgeber
Becker J, Backhaus K, Dugas M, Hellingrath B, Hoeren T, Klein S, Kuchen H, Trautmann H, Vossen G

Band
25

Reihe
ERCIS Working Papers

ISSN
1614-7448