L3 specification language [Google Scholar] Notes: formal specification, ISA specification, Arm architecture Papers: fox:itp:2012 Notes related to L3 specification language ISA specification Papers related to L3 specification language Directions in ISA specification [fox:itp:2012]
