Alloy*: a general-purpose higher-order relational constraint solver
Crossref DOI link: https://doi.org/10.1007/s10703-016-0267-2
Published Online: 2017-01-27
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Milicevic, Aleksandar
Near, Joseph P.
Kang, Eunsuk
Jackson, Daniel
Funding for this research was provided by:
National Science Foundation (CCF-1138967)
Text and Data Mining valid from 2017-01-27
Version of Record valid from 2017-01-27
Article History
First Online: 27 January 2017