From Lambda Calculus to Cybersecurity Through Program Analysis
de Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
Ediciones (1)
- From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Springer · ISBN 9783030411022
de Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
Springer · ISBN 9783030411022