Gergely Héja

GH

Statistics

Publications

2

Citations

63

H-Index

2

Active since

2006

Affiliations

Gergely Héja is an author at Szent János Kórház specializing in formal verification, natural sciences, and automated reasoning.

Publications per year

2006–2008

2

Publications

2