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