-
1
-
2
Behavioral Interface Specification Languages
Veröffentlicht in ACM computing surveys
VolltextArtikel -
3
-
4
-
5
An overview of JML tools and applications
Veröffentlicht in International journal on software tools for technology transfer
VolltextArtikel -
6
-
7
-
8
-
9
-
10
-
11
Normobaric hypoxia training in military aviation and subsequent hypoxia symptom recognition
Veröffentlicht in Ergonomics
VolltextArtikel -
12
-
13
-
14
-
15
Stepwise refinement of heap-manipulating code in Chalice
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
16
-
17
-
18
-
19
-
20
Changing treatment of hip fractures in Finland
Veröffentlicht in Archives of orthopaedic and trauma surgery
VolltextArtikel