Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... Notes in Computer Science, Band 11232)

Engineering

von: Jing Sun · Meng Sun

Taschenbuch

ISBN: 978-3-030-02449-9

ISBN-10: 3-030-02449-0

Springer · 2018