Complete Abstract Interpretations made Constructive

Academic Article

Publication Date:

1998

Iris type:

1.1 Articolo in rivista

List of contributors:

Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca

Authors of the University:

SCOZZARI Francesca

Handle:

https://ricerca.unich.it/handle/11564/135259

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series