by Dominique Gückel, Stefan Kowalewski
Reference:
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions (Dominique Gückel, Stefan Kowalewski), In Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), TU Dresden, 2011.
Bibtex Entry:
@inproceedings { GK11,
owner = { gueckel },
author = { G{"u}ckel, Dominique and Kowalewski, Stefan },
title = { Automatic Derivation of Abstract Semantics From Instruction
Set Descriptions },
booktitle = { Proceedings of the 6th International Workshop on Systems
Software Verification (SSV 2011) },
publisher = { TU Dresden },
publishedas = { Online },
language = { eng },
pages = { 18--32 },
year = { 2011 },
timestamp = { 2011.07.04 },
i11key = { conference },
for_reporting_period = { 2011 },
}