Travelled to:
1 × Germany
Collaborated with:
J.S.MacBeth D.Heinz
Talks about:
methodolog (1) assembl (1) driven (1) verif (1) advm (1)
Person: Ken Gray
DBLP: Gray:Ken
Contributed to:
Wrote 1 papers:
- DATE-2005-MacBethHG04a #assembly #verification
- An Assembler Driven Verification Methodology (ADVM) (JSM, DH, KG), pp. 278–283.