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]
No references recorded for this publication.
No citations of this publication recorded.