"Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings" - читать интересную книгу автора (Jin Song Dong; Huibiao Zhu )