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.