A Tool For Checking ANSI-C Programs

·2004·DOI

Engineering and Technology

Aerospace Engineering

Software Engineering and Practices

Software Tools and Techniques

Role in the Field

Neutralin Engineering and Technology

Neutralin Aerospace Engineering

Neutralin Software Engineering and Practices

Neutralin Software Tools and Techniques

Abstract

Citations

821

Year

2004

PageRank

3.7 / 10

Relative influence (log-scaled)