"Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings" - читать интересную книгу автора (K K Breitman; Ana Cavalcanti )