-
1
-
2
-
3
-
4
Guest editorial for the special section on SEFM 2020 and 2021
Veröffentlicht in Software and systems modeling
VolltextArtikel -
5
Symbolic execution formally explained
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
6
-
7
Verifying OpenJDK’s Sort Method for Generic Collections
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
8
-
9
Multi-Threaded Actors
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Proving concurrent constraint programs correct
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
18
-
19
-
20