Merkliste 
 1 Ergebnisse 
 
1

Checking UML and OCL model behavior with filmstripping and ..:

, In: Tests and Proofs / edited by Sebastian Gabmeyer, Einar Broch Johnsen