TY  - BOOK
AU  - Beyer,Dirk
AU  - Huisman,Marieke
TI  - Tools and Algorithms for the Construction and Analysis of Systems:  24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
T2  - Theoretical Computer Science and General Issues
PY  - 2018///
CY  - Cham
PB  - Springer Nature
KW  - Authentication
KW  - Computer Science
KW  - Computer Software Selection And Evaluation
KW  - Cryptography
KW  - Data Privacy
N2  - authentication;  computer science;  computer software selection and evaluation;  cryptography;  data privacy;  formal logic;  formal methods;  formal specification;  internet;  privacy;  program compilers;  programming languages;  security systems;  semantics;  separation logic;  software engineering;  verification;  world wide web
UR  - https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdfhttps://link.springer.com/book/10.1007/978-3-319-89960-2http://library.oapen.org/handle/20.500.12657/27701
ER  -