CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishISSN 0302-9743 (Print) 1611-3349 (Online) Selected Revised Papers from Proc. IFIP TC2 (Programming) WG 2.3 (Programming Methodology) Working Conference ``Verified Software: Tools, Techniques, and Experiments'' (VSTTE ). Zuerich, Oct.10-13, 2005
| Titolo: | Linking the Meaning of Programs to What the Compiler Can Verify |
| Autori: | BORGER E |
| Autori interni: | |
| Anno del prodotto: | 2007 |
| Abstract: | ISSN 0302-9743 (Print) 1611-3349 (Online) Selected Revised Papers from Proc. IFIP TC2 (Programming) WG 2.3 (Programming Methodology) Working Conference ``Verified Software: Tools, Techniques, and Experiments'' (VSTTE ). Zuerich, Oct.10-13, 2005 |
| Digital Object Identifier (DOI): | 10.1007/978-3-540-69149-5 |
| Appare nelle tipologie: | 2.1 Contributo in volume (Capitolo o Saggio) |
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.
Copyright © 2020