Grigoriy Volkov

Identifiers

• name variant Grigoriy Volkov 0.50 · backfill

Papers (1)

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