In diesem Band finden Sie die neuesten Forschungsergebnisse der ICFEM‑2017-Konferenz in Xi’an, die sich mit formalen Techniken zur Softwareverifikation und -entwicklung befassen; ein wertvolles Nachschlagewerk für Entwickler und Wissenschaftler.