Verification Witnesses

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Verification Witnesses
Συγγραφείς:	Beyer, Dirk, Dangl, Matthias, Dietsch, Daniel, Heizmann, Matthias, Lemberger, Thomas, Tautschnig, Michael
Πηγή:	ACM Transactions on Software Engineering and Methodology (TOSEM). 31(4):1-69
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3477579
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	1049331X 15577392
DOI:	10.1145/3477579