Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009: revised selected papers / ed. F. S. Boer, 2010 r=on-line. - Текст : электронный.
Приложение
для Android