Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, ... Notes in Computer Science Book 9953)

Not Available / Digital Item