University of Illinois Urbana-Champaign

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Loading…

Permalink

Description

Owning Collections