Manu Jose

Identifiers

• name variant Manu Jose 0.60 · backfill

Papers (1)

1. Cause Clue Clauses: Error Localization using Maximum Satisfiability cs.PL · 2010 · author #1

Mentions

• 1011.1589 #1 · backfill · confidence 0.70 Manu Jose

Frequent Coauthors

• Rupak Majumdar 1 shared papers