TY  - BOOK
AU  - Tapia Tarifa,Silvia Lizeth
AU  - Proença,José
TI  - Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031208720
U1  - 400 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Philology
KW  - Computer systems
KW  - Software engineering
KW  - Data structures (Computer science)
KW  - Information theory
KW  - Machine theory
KW  - Natural language processing (Computer science)
KW  - Languages
KW  - Computer System Implementation
KW  - Software Engineering
KW  - Data Structures and Information Theory
KW  - Formal Languages and Automata Theory
KW  - Natural Language Processing (NLP)
N1  - Modelling -- Verification -- Logics -- Semantics -- Types -- Choreographies
N2  - This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022. The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed
UR  - https://doi.org/10.1007/978-3-031-20872-0
ER  -