Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008: revised selected papers / ed. D. Cofer, 2009 r=on-line. - Текст : электронный.
Приложение
для Android