Author:
Derrick John,Smith Graeme,Groves Lindsay,Dongol Brijesh
Publisher
Springer International Publishing
Reference20 articles.
1. Alglave, J., Fox, A., Ishtiaq, S., Myreen, M.O., Sarkar, S., Sewell, P., Nardelli, F.Z.: The Semantics of Power and ARM Multiprocessor Machine Code. In: Petersen, L., Chakravarty, M.M.T. (eds.) DAMP 2009, pp. 13–24. ACM (2008)
2. Lecture Notes in Computer Science;D. Amit,2007
3. Lecture Notes in Computer Science;S. Burckhardt,2012
4. Lecture Notes in Computer Science;C. Calcagno,2007
5. Lecture Notes in Computer Science;J. Derrick,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献