Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. (Analyse Statique de Programmes Numériques: Ensembles Affines Contraints)"