Travelled to:
1 × USA
Collaborated with:
F.Bacchini G.Moretti H.Foster J.Bergeron M.Nakamura S.Mehta
Talks about:
methodolog (1) highway (1) verif (1) hell (1) out (1)
Person: Laurent Ducousso
DBLP: Ducousso:Laurent
Contributed to:
Wrote 1 papers:
- DAC-2005-BacchiniMFBNMD #question #verification
- Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.