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

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

Revision as of 21:22, 20 February 2013

Personal tools
Namespaces

Variants
Actions
Navigation