Concepedia

Author

�gnes Kurucz

Also Known As

�gnes Kurucz

1

Publications

22

Citations

1

H-Index

5

Concepts

�K

About

�gnes Kurucz is an author specializing in engineering, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Computer Science

1

1

22

3

Automated Reasoning

1

1

22

4

Formal Methods

1

1

22

5

Formal Verification

1

1

22

�gnes Kurucz

×

1

Publications

22

Citations

1

H-Index

YearCitations

Page 1