2024-03-28T19:04:37Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00053465
2023-03-29T06:47:39Z
3:2658:6448
マルチステージ証明記述言語の設計と開発
Design and development of multi-stage languages for verification
亀山, 幸義
カメヤマ, ユキヨシ
KAMEYAMA, Yukiyoshi
科学研究費助成事業 研究成果報告書:挑戦的萌芽研究2015-2017課題番号 : 15K12007
research report
2018
application/pdf
https://tsukuba.repo.nii.ac.jp/record/53465/files/15K12007seika.pdf
jpn
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15K12007/
open access