External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Extracting Traceability between Predicates in Event-B Refinement

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden. Extracting Traceability between Predicates in Event-B Refinement. In Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu 0004, editors, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. pages 61-70, IEEE Computer Society, 2017. [doi]

Authors

Shinnosuke Saruwatari

This author has not been identified. Look up 'Shinnosuke Saruwatari' in Google

Fuyuki Ishikawa

This author has not been identified. Look up 'Fuyuki Ishikawa' in Google

Tsutomu Kobayashi

This author has not been identified. Look up 'Tsutomu Kobayashi' in Google

Shinichi Honiden

This author has not been identified. It may be one of the following persons: Look up 'Shinichi Honiden' in Google
runs on