pith. sign in

Osman Hasan (ECE Department

Identifiers

  • name variant Osman Hasan (ECE Department 0.60 · backfill

Papers (1)

  1. Formal Analysis of Soft Errors using Theorem Proving cs.LO · 2013 · author #5

Mentions

  • 1307.8213 #5 · backfill · confidence 0.70 Osman Hasan (ECE Department

Frequent Coauthors