Suche

An Institution for Simple UML State Machines

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer

erschienen 2015 FASE 2015. S. 3-18