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.

A Simplified Method for Automatic Verification of Java Programs

Zhi Li, Ling Xie, Yilong Yang. A Simplified Method for Automatic Verification of Java Programs. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 471-472, KSI Research Inc., 2022. [doi]

Authors

Zhi Li

This author has not been identified. Look up 'Zhi Li' in Google

Ling Xie

This author has not been identified. Look up 'Ling Xie' in Google

Yilong Yang

This author has not been identified. Look up 'Yilong Yang' in Google
runs on