Browsing All of EconStor by Author Caballero, Rafael


Showing results 1 to 1 of 1
Year of PublicationTitleAuthor(s)
2016A program transformation for converting Java assertions into control-flow statementsCaballero, Rafael; von Hof, Vincent; Montenegro, Manuel; Kuchen, Herbert