Travelled to:
1 × USA
Collaborated with:
F.Bacchini A.J.Hu R.Ranjan D.Lacey M.Tan A.Piziali A.Ziv
Talks about:
enough (2) coverag (1) verif (1) when (1)
Person: Tom Fitzpatrick
DBLP: Fitzpatrick:Tom
Contributed to:
Wrote 1 papers:
- DAC-2007-BacchiniHFRLTPZ #question #verification
- Verification Coverage: When is Enough, Enough? (FB, AJH, TF, RR, DL, MT, AP, AZ), pp. 744–745.