TY  - BOOK
AU  - Ahmed,Amal
TI  - Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
SN  - 978-3-319-89884-1
PY  - 2018///
CY  - Cham
PB  - Springer Nature
KW  - artificial intelligence
N2  - artificial intelligence;  computer architecture;  computer software selection and evaluation;  distributed computer systems;  formal logic;  formal model;  java;  model checking;  processors;  program compilers;  program verification;  programming language;  semantics;  separation logic;  software engineering specifications;  theorem proving;  type;  systems verification
UR  - https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf
UR  - https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf
UR  - www.oapen.org
ER  -