Data di Pubblicazione:
2000
Abstract:
Sommario non disponibile.
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal methods; Distributed system development; Software/program verification
Elenco autori:
Bolognesi, Tommaso; Latella, Diego
Link alla scheda completa: