"Formal Methods and Software Engineering - ICFEM 2011 " - читать интересную книгу автора (Shengchao Qin, Zongyan Qiu)