Difference between revisions of "Semantics-Based Program Verifiers for All Languages"

From FSL
Jump to: navigation, search
Line 2: Line 2:
 
<pubbib id='stefanescu-park-yuwen-li-rosu-2016-popl-submission' template='PubDefaultWithAbstractAndTitle'/>
 
<pubbib id='stefanescu-park-yuwen-li-rosu-2016-popl-submission' template='PubDefaultWithAbstractAndTitle'/>
 
== Submitted to PLDI'16 ==
 
== Submitted to PLDI'16 ==
<pubbib id='stefanescu-park-yuwen-li-rosu-2016-pldi-submission' template='PubDefaultWithAbstractAndTitle'/></private>
+
<pubbib id='stefanescu-park-yuwen-li-rosu-2016-pldi-submission' template='PubDefaultWithAbstractAndTitle'/>
 +
== Submitted to OOPSLA'16 ==
 +
<pubbib id='stefanescu-park-yuwen-li-rosu-2016-oopsla-submission' template='PubDefaultWithAbstractAndTitle'/></private>

Revision as of 15:44, 28 March 2016

Personal tools
Namespaces

Variants
Actions
Navigation