Наукові публікації університету

A correctness proof for presentation software using Isabelle


ID: 200151
Кількість показів: 93
дата змінення: 01.06.2020 16:13:07
Ким змінено (ім'я): (KAM1987) Андрій Кушерський
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  4
Рік видання:  2016
Звітний рік:  2017
Видання:  13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
Номери сторінок:  117-120
Галузь науки:  Інформатика
Автори,співробітники Університету:  Панченко Тарас Володимирович / Іванов Євген В’ячеславович
Автори зовнішні: 
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору