プログラム簡易検証ツールESC/Java2  [in Japanese] Introduction to Lightweight Program Verifier ESC/Java2  [in Japanese]

Search this Article

Journal

  • コンピュータソフトウェア

    コンピュータソフトウェア 24(2), 2-7, 2007-04-24

    日本ソフトウェア科学会

References:  12

Cited by:  3

  • SAT/SMT solvers and their applications  [in Japanese]

    UMEMURA Akihiro

    コンピュータソフトウェア 27(3), 24-35, 2010-07-27

    References (26) Cited by (9)

  • 2007年読者モニタについて  [in Japanese]

    松原 繁夫

    コンピュータソフトウェア 25(3), 91-92, 2008-07-25

    References (10)

  • Caduceus : A Verification Tool for C Programs  [in Japanese]

    MINAMIDE Yasuhiko , Yasuhiko Minamide , 筑波大学大学院システム情報工学研究科 , Graduate School of Systems and Information Engineering University of Tsukuba

    コンピュータソフトウェア 24(3), 15-19, 2007-07-26

    References (11) Cited by (2)

Codes

  • NII Article ID (NAID)
    110006277679
  • NII NACSIS-CAT ID (NCID)
    AN10075819
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    02896540
  • NDL Article ID
    8810399
  • NDL Source Classification
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL Call No.
    Z14-1033
  • Data Source
    CJP  CJPref  NDL  NII-ELS 
Page Top