HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020)
Publisher	ACM
Pages	22-33
ISBN (Electronic)	978-1-4503-7071-4
DOIs	https://doi.org/10.1145/3372020.3391562
Publication status	Published - 7 Oct 2020

Access to Document

@inproceedings{f75c1b9d13bb4d17817f80e036fa223d,

title = "HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees",

author = "{Camara Moreno}, Javier",

year = "2020",

month = oct,

day = "7",

doi = "10.1145/3372020.3391562",

language = "English",

pages = "22--33",

booktitle = "Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020)",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - HaiQ

T2 - Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

AU - Camara Moreno, Javier

PY - 2020/10/7

Y1 - 2020/10/7

U2 - 10.1145/3372020.3391562

DO - 10.1145/3372020.3391562

M3 - Conference contribution

SP - 22

EP - 33

BT - Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020)

PB - ACM

ER -