Roberto Amadini, Alexander Jordan, Graeme Gange, Francois Gauthier, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang, A Legay (ed.), T Margaria (ed.)
Proceedings of the 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2017
Related Projects (2)
Awarded by Australian Research Council (ARC)
This work is supported by the Australian Research Council (ARC) through Linkage Project Grant LP140100437.