-
1141
-
1142
-
1143
-
1144
-
1145
-
1146
-
1147
-
1148
-
1149
-
1150Έκδοση 2018Πίνακας περιεχομένων: “… -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition! -- Chasing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1151
-
1152
-
1153
-
1154
-
1155
-
1156Έκδοση 2018Πίνακας περιεχομένων: “…Towards a Unified View of Modeling and Programming - ISoLA 2018 Track Introduction -- On Modeling…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1157
-
1158
-
1159
-
1160