Using Real Relaxations During Program Specialization

Academic Article

Publication Date:

2012

Iris type:

1.1 Articolo in rivista

List of contributors:

Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni

Authors of the University:

FIORAVANTI Fabio

Handle:

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

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series