Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, Tacas 2013, Held as Part of the European Joint Confe (Paperback, 2013)
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conf (Paperback)