HATS International School on Formal Models for Objects and Components
Thu, 03/29/2012 - 07:20 — projectmember
HATS project members are organizing the International School on Formal Models for Objects and Components.
The school will be held at the University Residential Center of Bertinoro (Italy), September 24-28, 2012.
 |
 |
 |
 |