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
 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.












