Artyom Ishchenko

Identifiers

• name variant Artyom Ishchenko 0.60 · backfill

Papers (1)

1. Partial Automation of Verification Condition Proving for Reflex Programs (Draft) cs.LO · 2026 · author #1

Mentions

• 2606.23377 #1 · arxiv_oai · confidence 0.70 Artyom Ishchenko

Frequent Coauthors

• Igor Anureev 1 shared papers