The 7th International Workshop on Harnessing Theories for Tool Support in Software
9 September 2014, Bertinoro, Italy