Browsing All of EconStor by Author Montenegro, Manuel

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