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