Cite
HARVARD Citation
Madeira, A. et al. (eds.) (2018) Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100072642153.0x000001