Correctness preserving transformations for the early 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:
Software development
Elenco autori:
Bolognesi, Tommaso; Latella, Diego
Link alla scheda completa:
Titolo del libro:
LOTOSPHERE - Software Development using LOTOS - Results of the LotoSphere Project