List of works - Xiaohong Chen - Paulina

List of works by Xiaohong Chen

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier

scientific article published on 06 April 2023

Towards a unified proof framework for automated fixpoint reasoning using matching logic

scientific article published on 24 November 2020

Paulina is supported by:

About Paulina

Help