Редактирование: Файл:Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013).pdf

Материал из 0x1.tv

Версия от 08:48, 25 сентября 2013; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Предупреждение. Вы редактируете устаревшую версию данной страницы. После сохранения будут потеряны изменения, сделанные в последующих версиях.

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Пожалуйста, учтите, что любой ваш вклад в проект «0x1.tv» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. 0x1.tv:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

CATEGORY ASSIGNMENT
Please enter the name of a category for this article.

Отменить | Справка по редактированию  (в новом окне)
Источник — «https://0x1.tv/Файл:Генерация_модели_окружения_для_группы_модулей_ядра_для_статической_верификации_(Илья_Захаров,_OSSDEVCONF-2013).pdf»