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.