A collection of links and documents

A paper (in italian) and the slides of a presentation, co-authored with Alessandro Monguzzi, on JML, as part of the course "Advanced topics in Software Engineering", Politecnico di Milano, Spring 2005.