Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.

Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson

Browse the full ICSE paper archive.