Search Within

Andrey Kupriyanov

Akupriya_tgnes
Email: andrey.kupriyanov_REMOVE_THIS_@ist.ac.at
Interests:

Results (2)

  • Causality-based model checking
    Conference paper
  • Array folds logic
    Conference paper