Towards provably correct system synthesis and extension / F. GIUNCHIGLIA; P. PECCHIARI; A. ARMANDO. - In: FUTURE GENERATION COMPUTER SYSTEMS. - ISSN 0167-739X. - STAMPA. - 12:(1996), pp. 123-137. [10.1016/0167-739X(96)88792-9]
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Towards provably correct system synthesis and extension | |
Autori: | ||
Data di pubblicazione: | 1996 | |
Rivista: | ||
Handle: | http://hdl.handle.net/11567/381017 | |
Appare nelle tipologie: | 01.01 - Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.