Christof Loding

Identifiers

• name variant Christof Loding 0.60 · backfill

Papers (1)

1. Learning Universally Quantified Invariants of Linear Data Structures cs.PL · 2013 · author #2

Mentions

• 1302.2273 #2 · backfill · confidence 0.70 Christof Loding

Frequent Coauthors

• Daniel Neider 1 shared papers
• P. Madhusudan 1 shared papers
• Pranav Garg 1 shared papers