ARA
From MaRDI portal
Software:20513
No author found.
Related Items (4)
Automated Verification of Relational While-Programs ⋮ Finite methods in 1-order formalisms ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Toward a verified relational database management system
This page was built for software: ARA
