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