Work

Precise null-pointer analysis

Year: 2009

Type: article

Source: Software & Systems Modeling

DOI: 10.1007/s10270-009-0132-5

Author: Fausto Spoto

Institution: University of Verona

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2088238746

FWCI: 7.699

Cites: 28

Cited by: 40

Related to: 10