A Simplified Method for Automatic Verification of Java Programs

Paper Details

A Simplified Method for Automatic Verification of Java Programs

Authors

Zhi Li, Ling Xie, Yilong Yang

Year

2022

Venue

International Conference on Software Engineering and Knowledge Engineering (SEKE 2022)

Type

Conference

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links