-
1141Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San...Έκδοση 2016Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1142
-
1143
-
1144
-
1145
-
1146
-
1147
-
1148
-
1149
-
1150
-
1151
-
1152
-
1153
-
1154
-
1155
-
1156
-
1157
-
1158
-
1159
-
1160