Formal Methods in Verification
1 works
К
Кирило Юрійович Пшеничний
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
3
Papers
2
Citations
1
h-index
0
i10-index
Кирило Юрійович Пшеничний is an academic researcher. The author has an h-index of 1, co-authored 3 publications.
ORCID: 0009-0007-0799-6604Research topics
topicsChat about Author
Papers
Chat
Click to start Chat