Merkliste 
 1 Ergebnisse 
 
1

From abstract specifications to application generation:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society,