Cédric Eichler, Khalil Drira, Thierry Monteil 0001, Patricia Stolf. Correctness by construction and style preserving reconfigurations of system of systems. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1680-1686, ACM, 2018. [doi]
@inproceedings{EichlerD0S18,
title = {Correctness by construction and style preserving reconfigurations of system of systems},
author = {Cédric Eichler and Khalil Drira and Thierry Monteil 0001 and Patricia Stolf},
year = {2018},
doi = {10.1145/3167132.3167312},
url = {http://doi.acm.org/10.1145/3167132.3167312},
researchr = {https://researchr.org/publication/EichlerD0S18},
cites = {0},
citedby = {0},
pages = {1680-1686},
booktitle = {Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018},
editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir},
publisher = {ACM},
}