Travelled to:
1 × France
Collaborated with:
A.Matsuda
Talks about:
methodolog (1) develop (1) integr (1) verif (1) debug (1)
Person: T. Ishihara
DBLP: Ishihara:T=
Contributed to:
Wrote 1 papers:
- DATE-2011-MatsudaI #debugging #verification
- Developing an integrated verification and debug methodology (AM, TI), pp. 503–504.