Ein Fachbuch, das die Erkenntnisse des 19. brasilianischen Symposiums über formale Methoden zusammenführt; es beleuchtet neueste Ansätze in Modellierung, Verifikation und Analyse komplexer Softwaresysteme.