編集にあたって(<特集>フォーマルメソッドの新潮流) Foreword(<Special Features>New Trends in Formal Methods)

収録刊行物

情報処理   [巻号一覧]

情報処理 49(5), 491-492, 2008-05-15  [この号の目次]

一般社団法人情報処理学会

参考文献:  2件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

被引用文献:  1件

被引用文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

プレビュー

プレビュー

各種コード

  • NII論文ID(NAID) :
    110006666230
  • NII書誌ID(NCID) :
    AN00116625
  • 本文言語コード :
    JPN
  • 資料種別 :
    OTR
  • ISSN :
    04478053
  • 収録DB :
    CJP書誌  CJP引用  NII-ELS 

書き出し