Diego Marmsoler. Compositional Verification using Model Checking and Theorem Proving. In Wolfgang Böhm 0002, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, editors, Model-Based Engineering of Collaborative Embedded Systems. pages 305-314, Springer, 2021. [doi]
@incollection{Marmsoler21, title = {Compositional Verification using Model Checking and Theorem Proving}, author = {Diego Marmsoler}, year = {2021}, doi = {10.1007/978-3-030-62136-0_16}, url = {https://doi.org/10.1007/978-3-030-62136-0_16}, researchr = {https://researchr.org/publication/Marmsoler21}, cites = {0}, citedby = {0}, pages = {305-314}, booktitle = {Model-Based Engineering of Collaborative Embedded Systems}, editor = {Wolfgang Böhm 0002 and Manfred Broy and Cornel Klein and Klaus Pohl and Bernhard Rumpe and Sebastian Schröck}, publisher = {Springer}, isbn = {978-3-030-62135-3}, }