Work

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

Year: 2004

Type: article

Source: Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B))

DOI: 10.1007/b99688

Author: Roberto Giacobazzi

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1517041072

FWCI: 1.594

Cites:

Cited by: 7

Related to: 10