Conference Papers 証明可能安全ロジックロッキング：安全性定式化の新たな枠組みとその実現 Author(s) 渡邉 洋平, 淺野 京一, 平田 遼, 小野 知樹, 楊 明宇, 岩本 貢, 李 陽, 原 祐子 Conference CSS 2025 Pages 1727–1734 Publication Year 2025 Date Presented 2025/10/30
