Eine Sammlung von Beiträgen aus dem 12. brasilianischen Symposium über formale Methoden, die neue theoretische Ansätze mit konkreten Anwendungen in der Softwareentwicklung verknüpft und damit die Basis für sichere Systeme legt.