Mário S. Alvim

Mário S. Alvim

2 books in the database

Books

The Science of Quantitative Information FlowMário S. Alvim

The Science of Quantitative Information Flow

Mário S. Alvim · 2020

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and PrivacyMário S. Alvim

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy

Mário S. Alvim · 2019