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]
No references recorded for this publication.
No citations of this publication recorded.