ΕΛ
ENG
Login
Advanced Search
DSpace Home
→
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
→
Ιδρυματικό Αποθετήριο
→
Διπλωματικές Εργασίες
→
View Item
HEAL DSpace
Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών
Title:
Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών;
Concolic testing using multiple SMT solvers
Ρακτιβάν, Κωνσταντίνος
;
Raktivan, Konstantinos
URI:
https://dspace.lib.ntua.gr/xmlui/handle/123456789/46499
http://dx.doi.org/10.26240/heal.ntua.14980
Date:
2018-02-15
Show full item record
Files in this item
Name:
report.pdf
Size:
1.112Mb
Format:
PDF
View/
Open
The following license files are associated with this item:
Creative Commons
This item appears in the following Collection(s)
Διπλωματικές Εργασίες
[17808]
Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Guides / Help
Submission Guide
User Guide
FAQ
Submission Guide - Bachelor's Thesis
Access Policies
Links