%0 Journal Article
%A Lévi, G.
%A Pegna, A. M.
%T Top-down mathematical semantics and symbolic execution
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1983
%P 55-70
%V 17
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1983__17_1_55_0/
%G en
%F ITA_1983__17_1_55_0