Intuitionistic Implication in Abstract Interpretation

Academic Article

Publication Date:

1997

Iris type:

1.1 Articolo in rivista

List of contributors:

Roberto, Giacobazzi; Scozzari, Francesca

Authors of the University:

SCOZZARI Francesca

Handle:

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

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series