Информация об авторе

Беляев, Михаил Анатольевич, Санкт-Петербургский государственный политехнический университет, Россия

  • Том 21, № 6 (2014) - Оригинальные статьи
    Использование метода ограниченной проверки моделей для генерации тестов
    Аннотация  PDF (Rus)
  • Том 20, № 6 (2013) - Оригинальные статьи
    Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
    Аннотация  PDF (Rus)
  • Том 18, № 4 (2011) - Оригинальные статьи
    Статический анализ с использованием систем типов и эффектов на основе LLVM
    Аннотация  PDF (Rus)


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)