Correctness preserving transformations for the late phases of software development

Capitolo di libro
Data di Pubblicazione:
1995
Abstract:
An abstract is not available
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Preserving transformations; Software Engineering
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/393349
Titolo del libro:
Lotosphere: Software Development with Lotos