GENA
From MaRDI portal
Software:21798
No author found.
Related Items (4)
Unnamed Item ⋮ Verifying a Local Generic Solver in Coq ⋮ Unnamed Item ⋮ A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
This page was built for software: GENA