"Formal Methods: State of the Art and New Directions" - читать интересную книгу автора (Paul Boca, Jonathan P. Bowen, Jawed Siddiqi)