Benutzer: Gast  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