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)
Dieses Buch fasst die Ergebnisse der 20. International Conference on Formal Engineering Methods zusammen, beleuchtet aktuelle Forschung und zeigt prax ...