TY  - BOOK
AU  - Alvim, Mario S.
AU  - Chatzikokolakis, Kostas
AU  - Olarte, Carlos
AU  - Valencia, Frank
TI  - The art of modelling computational systems: a journey from logic and concurrency to security and privacy 
SN  - 9783030311742
AV  - QA76.7 .A48 2019
PY  - 2019///
CY  - Brazil
PB  - Springer
N1  - Includes bibliographical references and index; Concurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles
ER  -