Towards a unified proof framework for automated fixpoint reasoning using matching logic
- Xiaohong Chen
- , Minh Thai Trinh
- , Nishant Rodrigues
- , Lucas Peña
- , Grigore Roşu
- University of Illinois at Urbana-Champaign
- Create Tower
Research output: Contribution to journal › Article › peer-review
5
Citations
(SciVal)