Towards Finding Accounting Errors in Smart Contracts.

Brian Zhang

Browse the full ICSE paper archive.