Author:
Derrick John,Doherty Simon,Dongol Brijesh,Schellhorn Gerhard,Wehrheim Heike
Publisher
Springer International Publishing
Reference27 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2013
2. Batty, M., Dodds, M., Gotsman, A.: Library abstraction for C/C++ concurrency. In: Giacobazzi, R., Cousot, R. (eds.) Symposium on Principles of Programming Languages, POPL, pp. 235–248. ACM (2013).
https://doi.org/10.1145/2429069.2429099
3. Cohen, N., Aksun, D.T., Larus, J.R.: Object-oriented recovery for non-volatile memory. PACMPL 2(OOPSLA), 153:1–153:22 (2018)
4. Lecture Notes in Computer Science;J Derrick,2011
5. NASA Monographs in Systems and Software Engineering;J Derrick,2017
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献