自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）

資料に関する注記

一般注記：: Theorem Proving and Provers Meeting(2nd TPP)での発表資料, 開催：2006年11月29日～30日, 開催場所：JAIST 情報科学研究科棟II・Collaboration Room 7 (5F)identifier:https://dspace.jaist...

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

JAIST学術研究成果リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
JAIST学術研究成果リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: 自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）
著者・編者: 湯浅, 能史
武山, 誠
関澤, 俊弦
田辺, 良則
高橋, 孝一
著者標目: 湯浅, 能史
武山, 誠
関澤, 俊弦
田辺, 良則
高橋, 孝一
出版年月日等: 2006-11-30
出版年（W3CDTF）: 2006-11-30
掲載ページ: 1-23
本文の言語コード: jpn
対象利用者: 一般
一般注記: Theorem Proving and Provers Meeting(2nd TPP)での発表資料, 開催：2006年11月29日～30日, 開催場所：JAIST 情報科学研究科棟II・Collaboration Room 7 (5F)
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8334
オンライン閲覧公開範囲: 限定公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ