Hari Govind V K

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

15 papers and 189 citations.

PubIndex Score88Top 12% · mid-careerHow it's scored

15Publications

189Total Citations

First publication: 2023First senior author: 2022

Top publicationsby citations

Hari Govind V K, Arie Gurfinkel|Formal Methods in System Design|2023

Cited by 6

Indexing the rest of 15 publications…