Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941)
Ein umfangreicher Sammelband aus dem 17. brasilianischen Symposium zu formalen Methoden, der aktuelle theoretische Durchbrüche, neue Modellierungsans ...