Automatic checking of instruction specifications
Mary F. Fernández, Norman Ramsey[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 19th International Conference on Software Engineering
ICSE '97
Boston, Massachusetts, USA
Association for Computing Machinery
New York, NY, USA
Pages 326-336
1997
Note(s): ISA specification, SLED
ICSE '97
Boston, Massachusetts, USA
Association for Computing Machinery
New York, NY, USA
Pages 326-336
1997
Note(s): ISA specification, SLED