From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

MLA

Di Pierro, Pasquale Malacaria, and Rajagopal Nagarajan. From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin On the Occasion of His Retirement. Springer International Publishing, 2020.

APA

Di Pierro, D. Pierro, Malacaria, P., & Nagarajan, R. (2020). From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer International Publishing.

Chicago

Di Pierro, Pasquale Malacaria, and Rajagopal Nagarajan. From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin On the Occasion of His Retirement. : Springer International Publishing, 2020.