СОЗДАНИЕ ФУНКЦИОНАЛЬНО БЕЗОПАСНЫХ ПРОГРАММНЫХ СИСТЕМ НА ОСНОВЕ ВИРТУАЛЬНЫХ МАШИН Шифр журнала: Ж24450/2007/1 Файл:  recs_2007_1_16.pdf - 0