"Formal Semantics Extraction from MIPS Instruction Manual."

Quang Thinh Trac, Mizuhito Ogawa (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics