Система верифицируемых спецификаций программных компонентов с поддержкой встраивания и извлечения
Published in Международный журнал Программные продукты и системы • Mar 3, 2025
NobleIDNI9P81W60R04S99
Authors:,
П.А. Шапкин
P.A. Shapkin
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!