АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ

期 标题 文件
编号 4 (2025) Automatic inference of synchronous regular invariants PDF
(Rus)
Vasenina A., Kostyukov Y., Mordvinov D.
1 - 1 的 1 信息