Concepedia

Author

Igor Prívara

Also Known As

I. Prívara, Igor Prívara

6

Publications

32

Citations

2

H-Index

5

Concepts

IP

About

Igor Prívara is an author specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

15

2

Computer Science

1

1

15

3

Automated Reasoning

1

1

15

4

Formal Methods

1

1

15

5

Knowledge Discovery

1

1

15

Igor Prívara

×

1

Publications

15

Citations

1

H-Index

YearCitations

Page 1