David R. Cok

Identifiers

• name variant David R. Cok 0.60 · backfill

Papers (2)

1. Inferring Concise Specifications of APIs cs.SE · 2019 · author #4
2. SPEEDY: An Eclipse-based IDE for invariant inference cs.LO · 2014 · author #1

Mentions

• 1404.6605 #1 · backfill · confidence 0.70 David R. Cok

Frequent Coauthors

• Gary T. Leavens 1 shared papers
• Hridesh Rajan 1 shared papers
• John L. Singleton 1 shared papers
• Scott C. Johnson 1 shared papers