Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016...
