Author:
Miné Antoine,Breck Jason,Reps Thomas
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Lecture Notes in Computer Science;A Adjé,2010
2. Apt, K.R.: The essence of constraint propagation. Theor. Comput. Sci. 221(1–2), 179–210 (1999)
3. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revisiting hull and box consistency. In: ICLP 1999, pp. 230–244 (1999)
4. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. In: AIAA Infotech
$$@$$
@
Aerospace, number –3385 in AIAA, pp. 1–38. AIAA (2010)
5. Lecture Notes in Computer Science;AR Bradley,2011
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献