Browsen in EconStor gesamt nach Autor:innen Caballero, Rafael


Zeige Ergebnisse 1 bis 1 von 1
ErscheinungsjahrTitelAutor:innen
2016A program transformation for converting Java assertions into control-flow statementsCaballero, Rafael; von Hof, Vincent; Montenegro, Manuel; Kuchen, Herbert