Correctness preserving transformations for the early phases of software development

Chapter
Publication Date:
1995
abstract:
An abstract is not available
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Software development
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/231767
Book title:
LOTOSPHERE - Software Development using LOTOS - Results of the LotoSphere Project