-
141
-
142
-
143
-
144
-
145
-
146
-
147
-
148
-
149
-
150
-
151
-
152
-
153
-
154
-
155
-
156Έκδοση 2013Πίνακας περιεχομένων: “… Second Competition on Software Verification (Summary of SV-COMP 2013) -- CPAchecker with Explicit-Value…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
157
-
158Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013...Έκδοση 2013Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
159
-
160