Concepedia

Author

Yamini Kannan

Indian Institute of Technology Bombay

Also Known As

Yamini Kannan

2

Publications

267

Citations

2

H-Index

12

Concepts

All Affiliations

Indian Institute of Technology Bombay
YK

About

Yamini Kannan is an author at Indian Institute of Technology Bombay specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

267

2

Computer Science

2

2

267

3

Software Analysis

2

2

267

4

Software Testing

2

2

267

5

Software Engineering

1

1

251

Yamini Kannan

×

2

Publications

267

Citations

2

H-Index

YearCitations

Page 1