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 Sun Nov 24 01:10:44 2024 CET.