Acceleration of the abstract fixpoint computation in numerical program analysis (bibtex)
by Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Reference:
O. Bouissou, Y. Seladji and A. Chapoutot, "Acceleration of the abstract fixpoint computation in numerical program analysis", Journal of Symbolic Computation, 2012, pp. -.
Bibtex Entry:
@article{Bouissou2012,
	Author = {Olivier Bouissou and Yassamine Seladji and Alexandre
                  Chapoutot},
	Journal = {Journal of Symbolic Computation},
	Number = {0},
	Pages = {-},
	Title = {Acceleration of the abstract fixpoint computation in
                  numerical program analysis},
	Year = {2012}
}
Powered by bibtexbrowser