External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

    Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson. Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. pages 609-619, IEEE, 2015. [doi]

    Authors

    Aleksandar Milicevic

    This author has not been identified. Look up 'Aleksandar Milicevic' in Google

    Joseph P. Near

    This author has not been identified. Look up 'Joseph P. Near' in Google

    Eunsuk Kang

    This author has not been identified. Look up 'Eunsuk Kang' in Google

    Daniel Jackson

    This author has not been identified. Look up 'Daniel Jackson' in Google
    runs on