/Verifica-del-Software-2017-18

Repo per gli esercizi di Verifica del Software a.a.17/18

Primary LanguageTeX

vds1718

Build Status

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.