VS - Esercizi di Verifica del Software Soluzione degli esercizi della prima parte del corso Verifica del Software tenuto all'università di Padova nell'anno accademico 2015/2016 Compilazione make N.B. Il makefile assume la presenza di pdflatex.