scientific article
From MaRDI portal
Publication:3766816
zbMath0629.68012MaRDI QIDQ3766816
No author found.
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Tableaux for constructive concurrent dynamic logic, KeY: A Formal Method for Object-Oriented Systems, Interleaving Symbolic Execution and Partial Evaluation
Uses Software
