Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik. Model based component development and analysis with ComMA. Science of Computer Programming, 233:103067, 2024. [doi]
@article{KurtevHSM24, title = {Model based component development and analysis with ComMA}, author = {Ivan Kurtev and Jozef Hooman and Mathijs Schuts and Daan van der Munnik}, year = {2024}, doi = {10.1016/j.scico.2023.103067}, url = {https://doi.org/10.1016/j.scico.2023.103067}, researchr = {https://researchr.org/publication/KurtevHSM24}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {233}, pages = {103067}, }