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.
2008
Software verification; static analysis; program analysis
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/317643
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact