Alloy*: a general-purpose higher-order relational constraint solver

Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson 0001. Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods in System Design, 55(1):1-32, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.