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












