search

enzymefinance / oyente

An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k stars 311 forks source link

fix paper link #381

Closed yxliang01 closed 4 years ago

yxliang01 commented 4 years ago

This fixes #376 .