Martina Vitovsk\'a

Identifiers

• name variant Martina Vitovsk\'a 0.50 · backfill

Papers (1)

1. SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode cs.SE · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan Strej\v{c}ek 1 shared papers
• Marek Chalupa 1 shared papers