-
301
-
302Έκδοση 2007Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
303Έκδοση 2015Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
304Έκδοση 2008Θέματα: “…Program analysis…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
305Έκδοση 2015Θέματα: “…Program semantics…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
306Έκδοση 2011Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
307Έκδοση 2004Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
308Έκδοση 2000Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
309Έκδοση 2017Θέματα: “…Constraint and logic programming…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
310Έκδοση 2011Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
311Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for CodesignΈκδοση 2012Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
312
-
313
-
314
-
315
-
316
-
317
-
318
-
319
-
320