Diego Marmsoler. Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 167-169, GI, 2019. [doi]
Abstract is missing.