Difference between revisions of "Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic"

From FSL
Jump to: navigation, search
(Created page with "<private> == OOPSLA 2020 Submission == <pubbib id='chen-pena-rodrigues-rosu-trinh-2020-oopsla-submission' template='PubDefaultWithAbstractAndTitle'/> </private> <private> == P...")

Revision as of 16:13, 13 July 2020


Personal tools
Namespaces

Variants
Actions
Navigation