"Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings" - читать интересную книгу автора (Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol)