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.

Symbolic Verification of Regular Properties for Java Programs

Zhenbang Chen, Hengbiao Yu, Ji Wang 0001, Wei Dong 0006. Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Software Engineering Notes, 44(4):17, 2019. [doi]

Authors

Zhenbang Chen

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

Hengbiao Yu

This author has not been identified. Look up 'Hengbiao Yu' in Google

Ji Wang 0001

This author has not been identified. Look up 'Ji Wang 0001' in Google

Wei Dong 0006

This author has not been identified. Look up 'Wei Dong 0006' in Google
runs on