Inproceedings,
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.
A. Milicevic, J. Near, E. Kang, and D. Jackson.ICSE (1), page 609-619. IEEE Computer Society, (2015)
Meta data
- BibTeX key
- conf/icse/MilicevicNKJ15
- entry type
- inproceedings
- booktitle
- ICSE (1)
- year
- 2015
- pages
- 609-619
- publisher
- IEEE Computer Society
- crossref
- conf/icse/2015-1
- ee
- http://dl.acm.org/citation.cfm?id=2818829
- isbn
- 978-1-4799-1934-5
- url
- http://dblp.uni-trier.de/db/conf/icse/icse2015-1.html#MilicevicNKJ15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/MilicevicNKJ15
%A Milicevic, Aleksandar
%A Near, Joseph P.
%A Kang, Eunsuk
%A Jackson, Daniel
%B ICSE (1)
%D 2015
%E Bertolino, Antonia
%E Canfora, Gerardo
%E Elbaum, Sebastian G.
%I IEEE Computer Society
%K
%P 609-619
%T Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.
%U http://dblp.uni-trier.de/db/conf/icse/icse2015-1.html#MilicevicNKJ15
%@ 978-1-4799-1934-5
@inproceedings{conf/icse/MilicevicNKJ15,
added-at = {2023-12-12T19:49:17.000+0100},
author = {Milicevic, Aleksandar and Near, Joseph P. and Kang, Eunsuk and Jackson, Daniel},
biburl = {https://www.bibsonomy.org/bibtex/2b3461a0cdd76721bc75609fbe09da204/admin},
booktitle = {ICSE (1)},
crossref = {conf/icse/2015-1},
editor = {Bertolino, Antonia and Canfora, Gerardo and Elbaum, Sebastian G.},
ee = {http://dl.acm.org/citation.cfm?id=2818829},
interhash = {2672baba82a7d232de930f00245639c3},
intrahash = {b3461a0cdd76721bc75609fbe09da204},
isbn = {978-1-4799-1934-5},
keywords = {},
pages = {609-619},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T19:49:17.000+0100},
title = {Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.},
url = {http://dblp.uni-trier.de/db/conf/icse/icse2015-1.html#MilicevicNKJ15},
year = 2015
}