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 Fri Apr 26 01:23:36 2024 CEST.