-
1
-
2
-
3
-
4
Iterative delta debugging
Veröffentlicht in International journal on software tools for technology transfer
VolltextArtikel -
5
-
6
-
7
-
8
Formal Techniques for Safety-Critical Systems (FTSCS 2018) Preface
Veröffentlicht in Science of computer programming
VolltextArtikel -
9
Formal Techniques for Safety-Critical Systems (FTSCS 2018)
Veröffentlicht in Science of computer programming
VolltextArtikel -
10
Revolution und bolschewistischer Terror in der Schweiz?
Veröffentlicht in Schweizerische Zeitschrift für Geschichte
VolltextArtikel -
11
-
12
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
Veröffentlicht in Science of computer programming
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
Formal Techniques for Safety-Critical Systems (FTSCS 2016)
Veröffentlicht in Science of computer programming
VolltextArtikel -
19
-
20