Browsing All of EconStor by Author von Hof, Vincent
Showing results 1 to 1 of 1
Year of Publication | Title | Author(s) |
---|---|---|
2016 | A program transformation for converting Java assertions into control-flow statements | Caballero, Rafael; von Hof, Vincent; Montenegro, Manuel; Kuchen, Herbert |