Difference between revisions of "A Language-Independent Approach to Smart Contract Verification"
From FSL
| Line 1: | Line 1: | ||
<private> | <private> | ||
== ISoLA 2018 Submission == | == ISoLA 2018 Submission == | ||
| − | <pubbib id='chen | + | <pubbib id='chen-park-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/> |
</private> | </private> | ||
