-
1
-
2
-
3
-
4
-
5
-
6
-
7Έκδοση 2017Θέματα: “…Software verification and validation…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
8
-
9
-
10Έκδοση 2007Πίνακας περιεχομένων: “…: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
11Έκδοση 2008Πίνακας περιεχομένων: “… Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
12Hardware and Software, Verification and Testing First International Haifa Verification Conference...Έκδοση 2006Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
13Έκδοση 2012Πίνακας περιεχομένων: “… -- Introduction to the Coq Proof-Assistant for Practical Software Verification -- Advanced Theorem Proving…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
14
-
15
-
16
-
17
-
18
-
19
-
20