ΕΛ
ENG
Login
Advanced Search
DSpace Home
→
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
→
Ιδρυματικό Αποθετήριο
→
Διπλωματικές Εργασίες
→
View Item
HEAL DSpace
Generation of Semantically Correct Solidity Programs for the Automated Testing of its Compiler
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
Generation of Semantically Correct Solidity Programs for the Automated Testing of its Compiler
Κοντογιάννης, Αλέξανδρος
;
Kontogiannis, Alexandros
URI:
https://dspace.lib.ntua.gr/xmlui/handle/123456789/64457
http://dx.doi.org/10.26240/heal.ntua.32151
Show full item record
Files in this item
Name:
thesis.pdf
Size:
855.4Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Διπλωματικές Εργασίες
[21431]
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