24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20,2018, Proceedings, Part II, Lecture Notes in Computer Science 10806 - Theoreti
Erschienen am 14.04.2018
9783319899626