Difference between revisions of "A Language-Independent Approach to Smart Contract Verification"

From FSL
Jump to: navigation, search
Line 1: Line 1:
 
<private>
 
<private>
 
== ISoLA 2018 Submission ==
 
== ISoLA 2018 Submission ==
<pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>
+
<pubbib id='chen-park-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>
 
</private>
 
</private>

Revision as of 14:11, 29 July 2018

Personal tools
Namespaces

Variants
Actions
Navigation