"Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings" - читать интересную книгу автора (Dominique Méry; Stephan Merz )