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

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

Zitieren als

Caballero, R., Von, H. V., Montenegro, M., & Kuchen, H. (2016). A Program Transformation for Converting Java Assertions into Control-flow Statements. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 25.

Details

Publikationstyp
Arbeitspapier / Working Paper

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

Sprache
Englisch

ISSN
1614-7448