Special section on verification, model checking, and abstract interpretation. Preface by the section editors / LENORE ZUCK; PAUL ATTIE; CORTESI A.. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 6 (1):(2004), pp. 1-3.
Autori: | ||
Data di pubblicazione: | 2004 | |
Titolo: | Special section on verification, model checking, and abstract interpretation. Preface by the section editors | |
Rivista: | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | |
Volume: | 6 (1) | |
Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.