Statistics
Publications
1
Citations
109
H-Index
1
Active since
1973
I. Peák is an author specializing in formal methods, engineering, and automated reasoning.
Top concepts
Publications per year
1973–1973
1
1
Hartmut Ehrig, Ferenc Gécseg, I. Peák · Mathematics of Computation · 1973 · 109 citations
1–1 of 1