Reading Length
Home
Speed Tests
Login
Mário S. Alvim
Identifiers
Open Library
OL7958925A
Books by Mário S. Alvim
Total count: 2
The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
Essays Dedicated to Catuscia Palamidessi on ...
Springer
2019-09-12
The Science of Quantitative Information Flow
Springer
2020-09-21
