"Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science) " - читать интересную книгу автора (Gilles Barthe, Alberto Pardo, Gerardo Schneider (Editors))