Login / Signup

Acceleration of the abstract fixpoint computation in numerical program analysis.

Olivier BouissouYassamine SeladjiAlexandre Chapoutot
Published in: J. Symb. Comput. (2012)
Keyphrases