Concepedia

Author

Faiz Arni

IBM (United States)

Also Known As

Arni, Faiz, FAIZ ARNI, Faiz Arni

2

Publications

71

Citations

2

H-Index

11

Concepts

All Affiliations

IBM (United States)
FA

About

Faiz Arni is an author at IBM (United States) specializing in automated reasoning, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

65

2

Computer Science

1

1

65

3

Computer Architecture

1

1

65

4

Software Analysis

1

1

65

5

Software Engineering

1

1

65

Faiz Arni

×

1

Publications

65

Citations

1

H-Index

YearCitations

Page 1