Directions in ISA specification

Anthony C. J. Fox
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Interactive Theorem Proving
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 338-344
2012
Note(s): Arm architecture, ISA specification, instruction set architecture, L3

L3 specification language