vds1718 Repo per gli esercizi della prima parte del corsi di Verifica del Software, A.A. 17/18 Compilazione Per compilare è sufficiente dare il comando make N.B. Il makefile assume che sia installato pdflatex.