Der Band sammelt die neuesten Erkenntnisse aus der achten I.F.M.-Konferenz in Nancy, beleuchtet theoretische Fortschritte und praktische Anwendungen von formalen Methoden in Systemen und Software.