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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020)
Publication statusPublished - 2020

Cite this