-
1
-
2
-
3
-
4
-
5
-
6
-
7
The Total Correctness of Parallel Programs
Veröffentlicht in SIAM journal on computing
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Modularization and hierarchy in a family of operating systems
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
18
A fundamental computer science course that unifies theory and practice
Veröffentlicht in SIGCSE bulletin
VolltextArtikel -
19
Introducing "theory" in the second programming course
Veröffentlicht in SIGCSE bulletin
VolltextArtikel -
20