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
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.