Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Lecture Notes in Computer Science (11222), Band 11222)

Proceedings

von: Kyungmin Bae · Peter Csaba Ölveczky

Taschenbuch

ISBN-13: 978-3-030-02145-0

ISBN-10: 3-030-02145-9

Springer · 2018