TY  - BOOK
AU  - Farhad Arbab, Sung-Shik Jongmans.
TI  - Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
SN  - 9783030409142
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Software engineering. Computers. Mathematical logic. Software Engineering. Theory of Computation. Mathematical Logic and Foundations. Information Systems and Communication Service
UR  - https://doi.org/10.1007/978-3-030-40914-2
ER  -