RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Top-down mathematical semantics and symbolic execution

G. Lévi and A. M. Pegna

RAIRO. Inform. théor., 17 1 (1983) 55-70

Published online: 01 February 2017

DOI: 10.1051/ita/1983170100551

This search tool will display articles in Google Scholar database by authors of the selected article:

Select your author(s):

G. Lévi

A. M. Pegna

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)