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
dc.contributor.editor | Beyer, Dirk | |
dc.contributor.editor | Huisman, Marieke | |
dc.date.accessioned | 2018-11-01 23:55:55 | |
dc.date.accessioned | 2020-03-18 13:36:15 | |
dc.date.accessioned | 2020-04-01T12:00:27Z | |
dc.date.available | 2020-04-01T12:00:27Z | |
dc.date.issued | 2018 | |
dc.identifier | 1002305 | |
dc.identifier | OCN: 1031399644 | en_US |
dc.identifier.uri | http://library.oapen.org/handle/20.500.12657/27701 | |
dc.description.abstract | 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 | |
dc.language | English | |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science | en_US |
dc.subject.other | authentication | |
dc.subject.other | computer science | |
dc.subject.other | computer software selection and evaluation | |
dc.subject.other | cryptography | |
dc.subject.other | data privacy | |
dc.subject.other | formal logic | |
dc.subject.other | formal methods | |
dc.subject.other | formal specification | |
dc.subject.other | internet | |
dc.subject.other | privacy | |
dc.subject.other | program compilers | |
dc.subject.other | programming languages | |
dc.subject.other | security systems | |
dc.subject.other | semantics | |
dc.subject.other | separation logic | |
dc.subject.other | software engineering | |
dc.subject.other | verification | |
dc.subject.other | world wide web | |
dc.title | 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 | |
dc.type | book | |
oapen.identifier.doi | 10.1007/978-3-319-89960-2 | |
oapen.relation.isPublishedBy | 6c6992af-b843-4f46-859c-f6e9998e40d5 | |
oapen.relation.isbn | 9783319899602 | |
oapen.series.number | 10805 | |
oapen.place.publication | Cham | |
oapen.identifier.ocn | 1031399644 |