Formal Verification of Ethereum Smart Contracts Using Isabelle/Hol

AuthID
 P-00T-D53
3
Author(s)
7
Editor(s)
Nigam,V;Kirigin,TB;Talcott,CL;Guttman,JD;Kuznetsov,S;Loo,BT;Okada,M
Document Type
Proceedings Paper
Year published
2020
Published
in Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday in Lecture Notes in Computer Science
Volume: 12300, Pages: 71-97
Indexing
Dblp®/en/publications/view/865443
Publication Identifiers
Dblp: conf/birthday/RibeiroAM20
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service