Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 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
Contributors: Huisman, Marieke; Beyer, Dirk; Huisman, Marieke
Publisher: Springer Nature
Published: 2018
Place of publication: Cham
ISBN-13: 9783319899602
Subjects: Computer science
Description: 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
Notes: Open Access Unrestricted online access

Creative Commons https://creativecommons.org/licenses/by/4.0/

English