TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 2.

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (eds.) :

Can Formal Methods Improve the Efficiency of Code Reviews?
[Online-Edition: https://doi.org/10.1007/978-3-319-33693-0_1]
In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. In: Lecture Notes in Computer Science , 9681 . Springer
[Konferenz- oder Workshop-Beitrag], (2016)

Geimer, Markus ; Wolf, Felix ; Wylie, Brian J. N. ; Abraham, Erika ; Becker, Daniel ; Mohr, Bernd :
The SCALASCA Performance Toolset Architecture.
In: International Workshop on Scalable Tools for High-End Computing (STHEC), Kos, Greece.
[Konferenz- oder Workshop-Beitrag], (2008)

Diese Liste wurde am Tue Sep 25 02:47:35 2018 CEST generiert.