SmartInspect: solidity smart contract inspector

Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse. SmartInspect: solidity smart contract inspector. In 2018 International Workshop on Blockchain Oriented Software Engineering, IWBOSE@SANER 2018, Campobasso, Italy, March 20, 2018. pages 9-18, IEEE, 2018. [doi]

Authors

Santiago Bragagnolo

This author has not been identified. Look up 'Santiago Bragagnolo' in Google

Henrique Rocha

This author has not been identified. Look up 'Henrique Rocha' in Google

Marcus Denker

This author has not been identified. Look up 'Marcus Denker' in Google

Stéphane Ducasse

This author has not been identified. It may be one of the following persons: Look up 'Stéphane Ducasse' in Google