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












