Per farsi un'idea piu' precisa sugli argomenti trattati, il candidato puo' dare una lettura al seguente articolo
(http://profs.sci.univr.it/~merro/files/nfm2015.pdf) apparso negli atti del congresso
"7th NASA Formal Method Sympoiusm 2015" (http://nasaformalmethods.org/).