-
1
A framework for model checking UDP network programs with Java pathfinder
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
Representation of women in CS: how do we measure a program's success?
Veröffentlicht in SIGCSE bulletin
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
A multi-institutional, multinational study of programming concepts using card sort data
Veröffentlicht in Expert systems
VolltextArtikel -
20