%0 Journal Article
%A Lévi, G.
%A Pegna, A. M.
%T Top-down mathematical semantics and symbolic execution
%J RAIRO. Informatique théorique
%D 1983
%P 55-70
%V 17
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1983__17_1_55_0/
%G en
%F ITA_1983__17_1_55_0