Minh-Thai Trinh

Identifiers

• name variant Minh-Thai Trinh 0.60 · backfill

Papers (1)

1. Automating Proofs of Data-Structure Properties in Imperative Programs cs.PL · 2014 · author #3

Mentions

• 1407.6124 #3 · backfill · confidence 0.70 Minh-Thai Trinh

Frequent Coauthors

• Duc-Hiep Chu 1 shared papers
• Joxan Jaffar 1 shared papers