Журналы
Разделы книг
Статьи по ключевому слову applicative computing systems
Поддержка полиморфизма и объектно-ориентированных аспектов в системе абстрактных спецификаций программ

П.А. Шапкин¹, К.А. Легкодух², Е.Д. Гайдук³

¹⁻³Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹pavel@shapkin.link