Case Study 5 Demonstrator - Final Version

This deliverable will describe the final use of the methodologies and tool-chain developed in CROSSMINER for the software quality assurance and trustworthiness case study, along with the final construction and implementation details of its demonstrators as defined in WP1.