Difference between revisions of "A Language-Independent Proof System for Full Program Equivalence"

From FSL
Jump to: navigation, search
Line 1: Line 1:
<pubbib id="ciobaca-lucanu-rusu-rosu-2012-icalp-submission" template='PubDefaultWithAbstractAndTitle'/>
+
<pubbib id='ciobaca-lucanu-rusu-rosu-2012-icalp-submission' template='PubDefaultWithAbstractAndTitle'/>

Revision as of 21:23, 20 February 2013

Personal tools
Namespaces

Variants
Actions
Navigation