Data di Pubblicazione:
1995
Abstract:
An abstract is not available
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Protocol; Software/Program Verification
Elenco autori:
Gnesi, Stefania
Link alla scheda completa:
Titolo del libro:
Lotosphere: Software Development with Lotos