Esercizi per la prima parte dell'esame del corso Verifica del Software tenuto all'Università di Padova.
Gli esercizi riguardano le semantiche operazionale e denotazionale.
Gli esercizi sono disponibili al seguente link.
Per clonare questo repository è sufficiente utilizzare il comando:
git clone https://github.com/mzanella/vds1718-Homeworks.git
Per compilare il documento in ambiente Linux è sufficiente dare il comando:
makeN.B. Il makefile assume che sia installato pdflatex.