From Lambda Calculus to Cybersecurity Through Program Analysis

From Lambda Calculus to Cybersecurity Through Program Analysis
Alessandra Di Pierro, Rajagopal Nagarajan, Pasquale Malacaria
Details
- OL Work ID
- OL22055682W

Alessandra Di Pierro, Rajagopal Nagarajan, Pasquale Malacaria