Tetsuo Ida

Identifiers

• name variant Tetsuo Ida 0.60 · backfill

Papers (1)

1. Proceedings Fourth International Symposium on Symbolic Computation in Software Science cs.SC · 2013 · author #2

Mentions

• 1307.8029 #2 · backfill · confidence 0.70 Tetsuo Ida

Frequent Coauthors

• Adel Bouhoula 1 shared papers
• Fairouz Kamareddine 1 shared papers