奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 学内論文・講義資料

Dicidability and complexity of the security verification problem for programs with stack inspection PDF

Naoya Nitta, Satoshi Ikada, Yoshiaki Takata, and Hiroyuki Seki

生駒 : 奈良先端科学技術大学院大学, 2001.3

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 PDF   電子化情報 TR R001983   0
刊年 : 2001
形態 : 44 p.
シリーズ名 :

Information Science Technical Report ; TR2001003

標題言語 : (eng)
本文言語 : (eng)
著者情報 :

新田, 直也 (ニッタ, ナオヤ)

伊加田, 恵志 (イカダ, サトシ)

高田, 喜朗 (タカタ, ヨシアキ)

関, 浩之 (セキ, ヒロユキ)

ISSN : 09199527