Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Makhanet B., Najm E., Cunha P., Queiroz J. Correctness preserving transformations for the late phases of software development. In: Lotosphere: Software Development with Lotos, pp. 181 - 199. T. Bolognesi, J. Van De Lagemaat and C. Vissers (eds.). Kluwer, 1995.
No abstract available.
Subject Preserving transformations
D.2 Software Engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional