Crossmark

solc-verify: A Modular Verifier for Solidity Smart Contracts

Crossref DOI link: https://doi.org/10.1007/978-3-030-41600-3_11

Published Online: 2020-03-14

Published Print: 2020

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hajdu, Ákos

Jovanović, Dejan
License Information

Text and Data Mining valid from 2020-01-01
More Information

Chapter History

First Online: 14 March 2020

Conference Information

Conference Acronym: VSTTE

Conference Name: Working Conference on Verified Software: Theories, Tools, and Experiments

Conference City: New York City, NY

Conference Country: USA

Conference Year: 2019

Conference Start Date: 13 July 2019

Conference End Date: 14 July 2019

Conference Number: 11

Conference ID: vstte2019

Conference URL: https://sri-csl.github.io/VSTTE19/