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

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

Arbeitspapier / Working Paper

Details zur Publikation

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

Titel der Reihe: ERCIS Working Papers (ISSN: 1614-7448)

Nr. in Reihe: 25

Status: Veröffentlicht

Veröffentlichungsjahr: 2016

Sprache, in der die Publikation verfasst ist: Englisch

Kuchen, Herbert	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
von Hof, Vincent	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)