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.

Runtime Verification by Convergent Formula Progression

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen. Runtime Verification by Convergent Formula Progression. In Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon, editors, 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. pages 255-262, IEEE, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication:

runs on