pith. sign in

Masahiro Matsubara (Hitachi

Identifiers

  • name variant Masahiro Matsubara (Hitachi 0.60 · backfill

Papers (1)

  1. Model Checking with Program Slicing Based on Variable Dependence Graphs cs.LO · 2013 · author #1

Mentions

  • 1301.0041 #1 · backfill · confidence 0.70 Masahiro Matsubara (Hitachi

Frequent Coauthors