Merkliste 
 1 Ergebnisse 
 
1

Frame conditions in symbolic representations of UML/OCL mod..:

, In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) / general chair: Jean-Pierre Talpin (INRIA, France)