TY  - GEN
AU  - Baier,Christel
AU  - Dal Lago,Ugo
AU  - Baier,Christel
AU  - Dal Lago,Ugo
TI  - Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 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-89366-2
PY  - 2018///
CY  - Cham
PB  - Springer Nature
KW  - Computer science
KW  - bicssc
KW  - artificial intelligence
KW  - computer software
KW  - selection and evaluation
KW  - formal logic
KW  - graph theory
KW  - modal logic
KW  - petri nets
KW  - program compilers
KW  - programming language
KW  - semantics
KW  - separation logic
KW  - software engineering
KW  - theorem proving
KW  - type systems
KW  - verification
N1  - Open Access
N2  - artificial intelligence;  computer software;  selection and evaluation;  formal logic;  graph theory;  modal logic;  petri nets;  program compilers;  programming language;  semantics;  separation logic;  software engineering;  theorem proving;  type systems;  verification
UR  - https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
UR  - https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
UR  - https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
UR  - https://directory.doabooks.org/handle/20.500.12854/31640
ER  -