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.

Multi-Property Bounded Model Checking for Java Numerical Error

Qilin Deng, Yu Wu, Fengli Sun, Wei Zhang. Multi-Property Bounded Model Checking for Java Numerical Error. In 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum, AIBDF 2023, Guangzhou, China, September 22-24, 2023. pages 104-109, ACM, 2023. [doi]

Authors

Qilin Deng

This author has not been identified. Look up 'Qilin Deng' in Google

Yu Wu

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

Fengli Sun

This author has not been identified. Look up 'Fengli Sun' in Google

Wei Zhang

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