Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Projects
Current
Past
Tools
Careers
Calendar
Home
ISIS Publications
List
Filter
Export 1 results:
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Filters:
Author
is
Emmanouela Stachtiari
[Clear All Filters]
Conference Paper
Mavridou, A.
,
A. Laszka
,
E. Stachtiari
, and
A. Dubey
,
"
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
",
Financial Cryptograph
, St. Kitts, 2019.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
verisolid.pdf
(1.02 MB)