Поиск
Главная
Исследователи
Результаты
Структура
Проекты
Наборы данных
Деятельность
Пресса/СМИ
О портале
Ослабление утверждений корректности аргументов функции
Результаты исследований
:
Научные публикации в периодических изданиях
›
статья
Кафедра технологии программирования
Обзор
Цитировать
Ссылки
http://elibrary.ru/item.asp?id=11704926
Д.Д. Еловков
С.Л. Сергеев
Язык оригинала
не определен
Страницы (с-по)
90-92
Журнал
ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ
Номер выпуска
3
Состояние
Опубликовано -
2008
ID: 5135218