-
181Έκδοση 2010Πίνακας περιεχομένων: “… Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
182
-
183Έκδοση 2007Πίνακας περιεχομένων: “…Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
184
-
185Έκδοση 2010Πίνακας περιεχομένων: “… Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
186
-
187
-
188
-
189
-
190Έκδοση 2012Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
191Έκδοση 2015Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
192Έκδοση 2005Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
193Έκδοση 2011Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
194Έκδοση 2012Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
195Έκδοση 2012Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
196Έκδοση 2006Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
197Έκδοση 2012Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
198Έκδοση 2014Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
199Έκδοση 2015Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
200Έκδοση 2012Θέματα: “…Formal methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο