Concepedia

Author

Pratyush Kanth

Indian Institute of Technology Kharagpur

Also Known As

Pratyush Kanth

1

Publications

58

Citations

1

H-Index

10

Concepts

All Affiliations

Indian Institute of Technology Kharagpur
PK

About

Pratyush Kanth is an author at Indian Institute of Technology Kharagpur specializing in automated reasoning, software engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

58

2

Computer Science

1

1

58

3

Systems Engineering

1

1

58

4

Software Analysis

1

1

58

5

Software Engineering

1

1

58

Pratyush Kanth

×

1

Publications

58

Citations

1

H-Index

YearCitations

Page 1