Difference between revisions of "A Language-Independent Proof System for Full Program Equivalence"
From FSL
Line 1: | Line 1: | ||
− | <pubbib id=' | + | <pubbib id='ciobaca-lucanu-rusu-rosu-2013-icalp-submission' template='PubDefaultWithAbstractAndTitle' /> |
Revision as of 21:24, 20 February 2013