Work

Verified Java Bytecode Verification

Year: 2003

Type: article

Author: Gerwin Klein

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W27369194

FWCI: 7.086

Cites: 63

Cited by: 25

Related to: 10