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:25, 20 February 2013
