These are the proceedings of the Software Verification track at the 2008 ACM Symposium on Applied Computing. We had 33 submitted papers and only 10 have been selected for publication. The high number of submissions is a success for our track and shows the interest of the scientific community towards software verification.
Special track on Software Verification
SPOTO, Nicola Fausto
2008-01-01
Abstract
These are the proceedings of the Software Verification track at the 2008 ACM Symposium on Applied Computing. We had 33 submitted papers and only 10 have been selected for publication. The high number of submissions is a success for our track and shows the interest of the scientific community towards software verification.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.