Found 2 Documents (Results 1–2)
Abstract fixpoint computations with numerical acceleration methods. (English) Zbl 1342.68071
Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 29-42 (2010).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Bouissou, Olivier (2)
- Chapoutot, Alexandre (2)
- Seladji, Yassamine (2)