Data di Pubblicazione:
1998
Abstract:
Sommario non disponibile.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Formal specification; Requirements capture; Prolog; process algebra; Petri nets; constraints
Elenco autori:
Bolognesi, Tommaso
Link alla scheda completa:
Pubblicato in: