Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter, Koen De Bosschere. Formal virtualization requirements for the ARM architecture. Journal of Systems Architecture, 59(3):144-154, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.