Grigoriy Volkov
Identifiers
- name variant Grigoriy Volkov 0.50 · backfill
Papers (1)
- Lemma Functions for Frama-C: C Programs as Proofs cs.SE · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Denis Efremov 1 shared papers
- Mikhail Mandrykin 1 shared papers