PUMA
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.
 
 
Abstract
(English)
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