Probabilistic Relational Reasoning for Differential Privacy
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin
Analysis of Recursively Parallel Programs
Ahmed Bouajjani, Michael Emmi
Contracts for First-Class Classes
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: