Auflistung nach Autor "Heckel, Reiko"
Anzeige der Dokumente 1-2 von 2
-
Inferring Visual Contracts from Java Programs
Alshanqiti, Abdullah; Heckel, Reiko; Kehrer, Timo
53-54 -
Modulare Analyse Stochastischer Graphtransformationssysteme
Heckel, Reiko; Lajios, Georgios; Menge, Sebastian
141-152