Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ... in Computer Science (11852), Band 11852)

Engineering

von: Yamine Ait-Ameur · Shengchao Qin

Taschenbuch

ISBN: 978-3-030-32408-7

ISBN-10: 3-030-32408-7

Springer · Oktober 2019