ACM SIGPLAN - [LCTES'23] (WIP) Towards Automated Identification of Layering Violations in Embedded Applications
Sign in to continue reading, translating and more.