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