ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.Mentre il precedente U-Gov Catalogo era un database chiuso, ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishSpecial 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.
| Titolo: | Special section on verification, model checking, and abstract interpretation. Preface by the section editors |
| Autori: | |
| Data di pubblicazione: | 2004 |
| Rivista: | |
| Handle: | http://hdl.handle.net/10278/11479 |
| Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
Copyright © 2018