Browsing All of EconStor by Author Montenegro, Manuel


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