pith. sign in

Y. Howard

Identifiers

  • name variant Y. Howard 0.60 · backfill

Papers (2)

  1. Concurrent Development of Model and Implementation cs.SE · 2011 · author #2
  2. Model-Based Trace-Checking cs.LO · 2011 · author #1

Mentions

  • 1111.2826 #2 · backfill · confidence 0.70 Y. Howard
  • 1111.2825 #1 · backfill · confidence 0.70 Y. Howard

Frequent Coauthors