Suche

Towards an Institutional Framework for Heterogeneous Formal Development in UML - A Position Paper

Alexander Knapp, Till Mossakowski, Markus Roggenbach

erschienen 2015 Software, Services, and Systems. Festschrift Martin Wirsing 2015. S. 215-230