pith. sign in

Aleksandr Misonizhnik

Identifiers

  • name variant Aleksandr Misonizhnik 0.50 · backfill

Papers (1)

  1. Automatic verification of heap-manipulating programs cs.PL · 2019 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors