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.

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic

Shingo Fukuoka, Yixiang Chen, Shaoying Liu. Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. In Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt, editors, Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I. Volume 848 of Communications in Computer and Information Science, pages 83-95, Springer, 2017. [doi]

Authors

Shingo Fukuoka

This author has not been identified. Look up 'Shingo Fukuoka' in Google

Yixiang Chen

This author has not been identified. Look up 'Yixiang Chen' in Google

Shaoying Liu

This author has not been identified. Look up 'Shaoying Liu' in Google
runs on