@inproceedings{mci/Marmsoler2019,
author = {Marmsoler, Diego},
title = {Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving},
booktitle = {Software Engineering and Software Management 2019},
year = {2019},
editor = {Becker, Steffen AND Bogicevic, Ivan AND Herzwurm, Georg AND Wagner, Stefan} ,
pages = { 167-169 } ,
doi = { 10.18420/se2019-52 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}