Author

Pasquale Malacaria

1 book found

Cover of From Lambda Calculus to Cybersecurity Through Program Analysis

From Lambda Calculus to Cybersecurity Through Program Analysis

Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan · First published 2020