Tim Pollandt

Identifiers

• name variant Tim Pollandt 0.60 · backfill

Papers (1)

1. Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report) cs.LO · 2023 · author #2

Mentions

• 2309.01585 #2 · arxiv_oai · confidence 0.70 Tim Pollandt

Frequent Coauthors

• Marie-Christine Jakobs 1 shared papers