Specifying the semantics of machine instructions
Cristina Cifuentes, Shane Sendall[doi] [Google Scholar] [DBLP] [Citeseer]
Program Comprehension, 1998. IWPC '98. Proceedings., 6th International Workshop on
Pages 126-133
Jun 1998
Note(s): ISA specification, formal specification, SLED
Pages 126-133
Jun 1998
Note(s): ISA specification, formal specification, SLED