Difference between revisions of "A Language-independent Approach to Smart Contract Verification"
From FSL
(Created page with "== Submitted to ISOLA'18 == <pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>") |
|||
| Line 1: | Line 1: | ||
| + | <private> | ||
== Submitted to ISOLA'18 == | == Submitted to ISOLA'18 == | ||
<pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/> | <pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/> | ||
| + | </private> | ||
