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.