Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Keerthi Nelaturu, Anastasia Mavridou, Andreas Veneris, Aron Laszka. Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020, Toronto, ON, Canada, May 2-6, 2020. pages 1-9, IEEE, 2020. [doi]

This author has not been identified. Look up 'Keerthi Nelaturu' in GoogleThis author has not been identified. Look up 'Anastasia Mavridou' in GoogleThis author has not been identified. Look up 'Andreas Veneris' in GoogleThis author has not been identified. Look up 'Aron Laszka' in Google

runs on WebDSL