Concepedia

Author

Bintou Kane

Worcester Polytechnic Institute

Also Known As

Bintou Kane

4

Publications

28

Citations

2

H-Index

9

Concepts

All Affiliations

Worcester Polytechnic Institute
BK

About

Bintou Kane is an author at Worcester Polytechnic Institute specializing in formal verification, software engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

24

2

Computer Science

1

1

24

3

Software Engineering

1

1

24

4

Automated Reasoning

1

1

24

5

Formal Methods

1

1

24

Bintou Kane

×

1

Publications

24

Citations

1

H-Index

YearCitations

Page 1