Number of items: 2.
Hammer, Christian
(2010)
Experiences with PDG-based IFC.
Vaziri, Mandana and Tip, Frank and Dolby, Julian and Hammer, Christian and Vitek, Jan
(2010)
A Type System for Data-Centric Synchronization.
This list was generated on Tue Jul 2 20:47:56 2024 CEST.