-
1
-
2
-
3
-
4
Carbonbeton – Eine neue Verstärkungsmethode für Massivbrücken
Veröffentlicht in Beton- und Stahlbetonbau
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
Pilsner: a compositionally verified compiler for a higher-order imperative language
Veröffentlicht in SIGPLAN notices
VolltextArtikel