Lecture Notes on HATS International School on Formal Models for Objects and Components Available

The  International School on Formal Models for Objects and Components which was organized by members of the HATS project is now over. We want to thank all teachers for their great lectures and also all participants for their active participation making the summer school a huge success.

We made the lecture notes available for everyone . They can be found following the link below: