Data di Pubblicazione:
1998
Abstract:
Sommario non disponibile.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Object-oriented; Formal specification; Constraint-oriented style; Object-Z
Elenco autori:
Bolognesi, Tommaso
Link alla scheda completa:
Pubblicato in: