Concepedia

Author

C. R. Murthy

Cornell University

Also Known As

C. R. Murthy, C.R. Murthy, Chetan R. Murthy

9

Publications

1.3K

Citations

7

H-Index

24

Concepts

All Affiliations

Cornell University
CR

About

C. R. Murthy is an author at Cornell University specializing in programming languages, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

145

2

Computer Science

2

2

145

3

Arts

1

1

33

4

Linguistics

1

1

33

5

Compilers

1

1

33

C. R. Murthy

×

5

Publications

1.3K

Citations

5

H-Index

YearCitations

Page 1