%0 Conference Paper %1 conf/date/MacBethHG04a %A MacBeth, John S. %A Heinz, Dietmar %A Gray, Ken %B DATE %D 2004 %I IEEE Computer Society %K dblp %P 278-283 %T An Assembler Driven Verification Methodology (ADVM). %U http://dblp.uni-trier.de/db/conf/date/date2005.html#MacBethHG04a %@ 0-7695-2085-5

@inproceedings{conf/date/MacBethHG04a, added-at = {2023-03-24T00:00:00.000+0100}, author = {MacBeth, John S. and Heinz, Dietmar and Gray, Ken}, biburl = {https://www.bibsonomy.org/bibtex/282d6f95ba5fa7dee5fa1545889e375d0/dblp}, booktitle = {DATE}, crossref = {conf/date/2004}, ee = {http://dl.acm.org/citation.cfm?id=1049374}, interhash = {190c518bc840442ca54e09a9cf2df02d}, intrahash = {82d6f95ba5fa7dee5fa1545889e375d0}, isbn = {0-7695-2085-5}, keywords = {dblp}, pages = {278-283}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:51:35.000+0200}, title = {An Assembler Driven Verification Methodology (ADVM).}, url = {http://dblp.uni-trier.de/db/conf/date/date2005.html#MacBethHG04a}, year = 2004 }