This book constitutes the thoroughly refereedpost-conference proceedings of the Third Annual Priv...
ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS ...
This book constitutes the refereed proceedings of the Second International Conference on Coordina...
This volume contains most of the papers presented at a workshop on research directions in high-le...
The aim of this study is to provide evidence of the relevance of functional programming for softw...
Privacy Risk Analysis fills a gap in the existing literature by providing an introduction to the ...