A Program Transformation for Converting Java Assertions into Control-flow Statements
Caballero R, Von Hof V, Montenegro M, Kuchen H
Working paper | Peer reviewedDetails about the publication
Publisher: Becker J, Backhaus K, Dugas M, Hellingrath B, Hoeren T, Klein S, Kuchen H, Trautmann H, Vossen G
Title of series: ERCIS Working Papers (ISSN: 1614-7448)
Volume of series: 25
Status: Published
Release year: 2016
Language in which the publication is written: English
Authors from the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
| von Hof, Vincent | Practical Computer Science Group (PI) |