Adam Nellis

Identifiers

• name variant Adam Nellis 0.60 · backfill

Papers (1)

1. Assisted Coverage Closure cs.SE · 2015 · author #1

Mentions

• 1509.04587 #1 · backfill · confidence 0.70 Adam Nellis

Frequent Coauthors

• Daniel Kroening 1 shared papers
• Michael Tautschnig 1 shared papers
• Pascal Kesseli 1 shared papers
• Peter Schrammel 1 shared papers
• Philippa Ryan Conmy 1 shared papers