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

Journal

Journal of Information Processing Society of Japan   [List of Volumes]

Journal of Information Processing Society of Japan 49(5), 491-492, 2008-05-15  [Table of Contents]

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  CJPref  NII-ELS 

Export