Number of items: 2.
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties (Technical Report).
CoRR, abs/17.
Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017)
A Type System for Privacy Properties.
This list was generated on Sun Dec 22 04:04:15 2024 CET.