You are about to access our book library "Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering) full version" .