Extensible Proof Systems for Infinite-State Systems

Jeroen J.A. Keiren, Rance Cleaveland

Formal System Analysis

Onderzoeksoutput: Werkdocument › Preprint › Academic

1 Tijdschriftartikel

1 resultaten

Filter

2024
Extensible Proof Systems for Infinite-State Systems
Cleaveland, R. & Keiren, J. J. A., jan. 2024, In: ACM Transactions on Computational Logic. 25, 1, blz. 1-60 60 blz., 2.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Open Access
Bestand
34 Downloads (Pure)