Login
- Titel:
Lightweight specification and analysis of dynamic systems with rich configurations
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Macedo, Nuno; Brunel, Julien; Chemouil, David; Cunha, Alcino; Kuperberg, Denis
- Kongress- / Buchtitel:
- Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
- Verlag / Institution:
- ACM Press
- Publikationsdatum:
- 01.01.2016
- Jahr:
- 2016
- Print-ISBN:
- 9781450342186
- Volltext / DOI:
- doi:10.1145/2950290.2950318
BibTeX