Кондратьев Д.А.  

Язык для задания семантических меток, позволяющих генерировать объяснения недоказанных условий корректности при дедуктивной верификации C-программ в системе C-lightVer

Тезисы доклада:

abstracts_708408_ru.pdf

К списку докладов