История изменений

Исправление SZT, 20.01.20 10:52 (текущая версия) :

Вот кстати https://arxiv.org/pdf/1809.06336.pdf : Verification of High-Level Transformations with Inductive Refinement Types

Исходная версия SZT, 20.01.20 10:52:

Вот кстати https://arxiv.org/pdf/1809.06336.pdf : Verification of High-Level Transformations withInductive Refinement Types