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 reviews for this publication, yet.