Cite
HARVARD Citation
(Computer scientist), B. et al. (eds.) (2015) Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100070039022.0x000001