Leveraging Applications of Formal Methods, Verification and Validation, Part II: Discussion, Dissemination, Applications: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016

Leveraging Applications of Formal Methods, Verification and Validation, Part II: Discussion, Dissemination, Applications: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016Ed. by Margaria T., Steffen B..-Berlin.: Springer, 2016.-Vol. 9953.-866 p.-(Lecture Notes in Computer Science).