Cite
HARVARD Citation
Beyer, D. et al. (eds.) (2018) Tools and algorithms for the construction and analysis of systems : 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.. [Online]. Cham, Switzerland : Springer Open. Available from: http://access.bl.uk/ark:/81055/vdc_100073362400.0x000001