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> |