Semantica assiomatica
Autori: Andrea Calvo?, Alessandro Modica?
Sommario
Riassunto completo della parte di programma del corso di Informatica 3 relativa alla verifica formale degli algoritmi, detta anche semantica assiomatica.
SematicaAssiomatica.pdf