Denali
From MaRDI portal
Software:33513
No author found.
Related Items (3)
The model evolution calculus as a first-order DPLL method ⋮ Component-based synthesis for complex APIs ⋮ TOAST: Applying Answer Set Programming to Superoptimisation
This page was built for software: Denali
