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

Journal

Journal of Information Processing Society of Japan   [Journal Detail]

情報処理  49(5)  pp.491-492 20080515  [Index]

Information Processing Society of Japan (IPSJ)

References:  2

You must have a user ID to see the references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Cited by:  1

You must have a user ID to see the cited references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Preview

Preview

Codes

  • NII Article ID (NAID)：
    110006666230
  • NII NACSIS-CAT ID (NCID)：
    AN00116625
  • Text Lang：
    JPN
  • Article Type：
    Journal Article
  • ISSN：
    04478053
  • Databases：
    CJP書誌  CJP引用  NII-ELS 

Export