-
1
Temporal verification of higher-order functional programs
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Subchronic oral toxicity study of Monascus Color in beagle dogs
Veröffentlicht in Fundamental Toxicological Sciences
VolltextArtikel -
16
-
17
-
18
-
19
Configuration characteristics of the Chinese First Quasi-axisymmetric Stellarator
Veröffentlicht in Nuclear fusion
VolltextArtikel -
20