Work

Analyzing Invariant Condition of Running Java Program.

Year: 2004

Type: article

Source: Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering

Authors: Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W108347253

FWCI:

Cites:

Cited by:

Related to: 10