2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE)
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
DOI Bookmark: 10.1109/ICSE.2015.77
Authors
Aleksandar Milicevic, Massachusetts Inst. of Technol., Cambridge, MA, USAJoseph P. Near, Massachusetts Inst. of Technol., Cambridge, MA, USA
Eunsuk Kang, Massachusetts Inst. of Technol., Cambridge, MA, USA
Daniel Jackson, Massachusetts Inst. of Technol., Cambridge, MA, USA