An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools

AuthID
P-00W-773
3
Author(s)
Dia, B
·
Ivaki, N
·
Document Type
Proceedings Paper
Year published
2021
Published
in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021) in IEEE Pacific Rim International Symposium on Dependable Computing, ISSN: 1555-094X
Volume: 2021-December, Pages: 17-26 (10)
Conference
26Th Ieee Pacific Rim International Symposium on Dependable Computing (Prdc), Date: DEC 01-04, 2021, Location: ELECTR NETWORK, Sponsors: IEEE, IEEE Comp Soc, IEEE Comp Soc, Tech Comm Dependable Comp & Fault Tolerance
Indexing
Publication Identifiers
Scopus: 2-s2.0-85125010983
Wos: WOS:000780489300003
Source Identifiers
ISSN: 1555-094X
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.