Towards verified faithful simulation
Vania Joloboff, Jean-François Monin, Xiaomu Shi[ISBN] [Google Scholar] [DBLP] [Citeseer]
Dependable Software Engineering: Theories, Tools, and Applications
Springer International Publishing
Cham
Pages 105-119
2015
Note(s): ISA specification, Arm architecture
Springer International Publishing
Cham
Pages 105-119
2015
Note(s): ISA specification, Arm architecture