Scott C. Johnson

Identifiers

• name variant Scott C. Johnson 0.60 · backfill

Papers (1)

1. SPEEDY: An Eclipse-based IDE for invariant inference cs.LO · 2014 · author #2

Mentions

• 1404.6605 #2 · backfill · confidence 0.70 Scott C. Johnson

Frequent Coauthors

• David R. Cok 1 shared papers