Merkliste 
 1 Ergebnisse 
 
1

Towards Automated Identification of Layering Violations in ..:

, In: Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,