Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009: revised selected papers / ed. M. V. Oliveira, 2009 r=on-line. - Текст : электронный.
Приложение
для Android