Ein kompakter Leitfaden, der die neuesten Erkenntnisse aus der 20. ICFEM-Konferenz präsentiert und zeigt, wie formale Methoden in realen Softwareprojekten eingesetzt werden können.