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='ciociobaca-lucanu-rusu-rosu-2013-icalp-submission' template='PubDefaultWithAbstractAndTitle' />

Revision as of 21:24, 20 February 2013

Personal tools
Namespaces

Variants
Actions
Navigation