Author:
Joloboff Vania,Monin Jean-François,Shi Xiaomu
Publisher
Springer International Publishing
Reference18 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: DAMP 2009, pp. 13–24. ACM, New York (2008)
2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Springer (2004)
3. Bobot, F., Filliâtre, J., Marché, C., Paskevich, A.: Why3: Shepherd your herd of provers. Boogie 53–64, 2011 (2011)
4. Lecture Notes in Computer Science;B Campbell,2012
5. Canet, G., Cuoq, P., Monate, B.: A value analysis for C programs. In: SCAM 2009, pp. 123–124. IEEE (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献