Publisher
Springer International Publishing
Reference18 articles.
1. Affeldt, R., Marti, N.: Towards formal verification of TLS network packet processing written in C. In: PLPV, pp. 35–46 (2013)
2. Batty, M., Owens, S., Sarkar, S., Sewell, P., Weber, T.: Mathematizing C++ concurrency. In: POPL, pp. 55–66 (2011)
3. Ellison, C., Rosu, G.: An executable formal semantics of C with applications. In: POPL, pp. 533–544 (2012)
4. GNU. GCC, the GNU Compiler Collection (2011),
http://gcc.gnu.org/
5. International Organization for Standardization. WG14 Defect Report Summary (2008),
http://www.open-std.org/jtc1/sc22/wg14/www/docs/
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献